295def pointwiseUnary =
296 (lambda erased word : Type 0 .
297 (lambda erased inputs : Nat .
298 (lambda unrestricted operation : (family PointwiseUnary) .
299 (lambda unrestricted value : (family PointwiseExpression word inputs) .
300 (constructor PointwiseExpression PointwiseUnaryExpression word inputs operation value)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.