Module Fol_formula.Arrayinfo


module Arrayinfo: sig .. end

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