Module Translate_prop.Create.UserVariable


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)