Module Datalib.Create.LTinfo


module LTinfo: sig .. end

type t = Cil_types.logic_type_info 
val compare : Cil_types.logic_type_info -> Cil_types.logic_type_info -> int
val hash : Cil_types.logic_type_info -> int
val equal : Cil_types.logic_type_info -> Cil_types.logic_type_info -> bool