sig val accept_base : Cil_datatype.Kf.t -> Base.t -> bool val iter_in_rev_order : (Cil_datatype.Kf.t -> unit) -> unit end