Module Codex_options.VariableDisplay

type t = Domains.Term_domain.pretty_terms

val set : t -> unit

val get : unit -> t

val is_set : unit -> bool

val is_default : unit -> bool