Skip to main content

type1

Function type1 

Source
pub fn type1() -> Expr
Expand description

Convenience constructor: Type 1 (Sort 2).