Module Fol_formula.HC_object


module HC_object: sig .. end

type t = Ctypes.c_object 
val equal : Ctypes.c_object -> Ctypes.c_object -> bool
val hash : Ctypes.c_object -> int