Skip to main content

mk_prop

oxilean_kernel

Function mk_prop 

Source 
pub fn mk_prop() -> Expr
Expand description

Convenience: make a Prop expression (Sort 0).