Module Cil_datatype.Logic_Ctor_Info


module Logic_Ctor_Info: S  with type t = logic_ctor_info