module type S = sig .. end
sig
end
val t : unit -> Cil_types.typ
unit -> Cil_types.typ
val t_as_ptr : unit -> Cil_types.typ
t
val is_now_referenced : unit -> unit
unit -> unit
val is_t : Cil_types.typ -> bool
Cil_types.typ -> bool