Skip to main content

prop

Function prop 

Source
pub fn prop() -> Expr
Expand description

Convenience constructor: Prop (Sort 0).