Module Fol_formula.ArrayDim


module ArrayDim: sig .. end

type t = Ctypes.c_object * int 
val prefix : string
val index : 'a -> 'a
val basename : Ctypes.c_object * int -> string
val location : 'a -> 'b option
module H: Hashtbl.Make(Fol_formula.HC_ArrayDim)
val pp_title : Format.formatter -> Ctypes.c_object * int -> unit
val pp_descr : Format.formatter -> 'a -> unit