Skip to main content

prop_exprs

meta_language::translation::ir

Function prop_exprs 

Source 
pub fn prop_exprs(prop: &Prop) -> Vec<&Expr>
Expand description

The expressions of a proposition, left to right.