module UserVariable:D.Register
(
sig
include D.Logicvar
val pp_title :Format.formatter -> Cil_types.logic_var -> unit
val pp_descr :Format.formatter -> Cil_types.logic_var -> unit
val section :Formula.section
val clear :unit -> unit
val prefix :string
val declare :Cil_types.logic_var -> 'a -> 'b Formula.item
end
)