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