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