Module Cil_datatype.Builtin_Logic_Info


module Builtin_Logic_Info: S  with type t = builtin_logic_info