Module Datalib.Create.LTinfoId


module LTinfoId: sig .. end

type t = Cil_types.logic_type_info 
val prefix : string
val index : 'a -> 'a
val basename : Cil_types.logic_type_info -> string
val location : 'a -> 'b option
module H: Hashtbl.Make(Datalib.Create.LTinfo)
val pp_title : Format.formatter -> Cil_types.logic_type_info -> unit
val pp_descr : Format.formatter -> 'a -> unit