Module Cil_datatype.Typeinfo


module Typeinfo: S  with type t = typeinfo
Since Boron-20100401