pi

the famous pi value
Unsafely project untyped value list.
Trace projection path to get narrower Record.
the ratio of the circumference of a circle to its radius
No description available in the introspection data.
Pi _ "_" A B                               ~        A  -> B
Pi _ x   A B                               ~  ∀(x : A) -> B
A product type where the payload has the type specified with the tag.
Dependent function space Γ → A.
ex: (xs:e) -> e or {xs:e} -> e
dependent or non-dependent function space
processing-instruction-test with a literal argument
Type for projection function.