Module Fol_formula.HC_ArrayDim


module HC_ArrayDim: sig .. end

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