Module Cil_datatype.Logic_Type_Info


module Logic_Type_Info: S  with type t = logic_type_info