sig type t = Cil_types.fieldinfo val define : t -> unit val get_definition : t -> decl val on_definition : (t -> decl -> unit) -> unit val get_ind : t -> integer val has_ind : t -> pred -> bool end