Module Formula.S.ArrayDim


module ArrayDim: Identifiable  with type t = Ctypes.c_object * int

type t 
module H: Hashtbl.S 
val index : t -> H.key
val prefix : string
val basename : t -> string
val location : t -> Lexing.position option
val pp_title : Format.formatter -> t -> unit
val pp_descr : Format.formatter -> t -> unit