let e_cond (c : boolean) (a : 'a term) (b : 'a term) : 'a term = unwrap (e_call "ite" [wrap c;wrap a;wrap b])