let names = List.map (function Some (x,_) -> Some x | _ -> None) C.context;;
let pp t = CicPp.pp t names;;
+ type input = t
+
let embed t = assert false;;
- let is_eq_predicate = assert false
- let saturate = assert false
+ let eqP = assert false;;
+
+ let saturate = assert false;;
+
end