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 eqP = assert false;;
+ let is_eq = assert false;;
+
let saturate = assert false;;
- let mk_proof = assert false;;
end