Var (current.Current.Var)

Parameters

module T : Current_term.S.T

type t

A variable with a current value of type T.t Current_term.Output.t.

val get : t -> T.t term

val create : name:string -> T.t Current_term.Output.t -> t

val set : t -> T.t Current_term.Output.t -> unit

val update : 
  t ->
  (T.t Current_term.Output.t -> T.t Current_term.Output.t) ->
  unit