Skip to main content

type0

Function type0 

Source
pub fn type0() -> Expr
Expand description

Convenience constructor: Type 0 (Sort 1).