Module Cil_datatype.Typ

module Typ: sig .. end
Types, with comparison over struct done by key and unrolling of typedefs.

include S_with_collections