Module Cil_datatype.Typ

module Typ: S_with_collections_pretty  with type t = typ
Types, with comparison over struct done by key and unrolling of typedefs.

include S_with_collections