sig type t = Cil_types.logic_var val define : t -> unit val get_definition : t -> D.F.pred Formula.declaration val on_definition : (t -> D.F.pred Formula.declaration -> unit) -> unit end