package smtml

  1. Overview
  2. Docs
type t = (Symbol.t, Value.t) Stdlib.Hashtbl.t
val get_symbols : t -> Symbol.t Stdlib.List.t
val get_bindings : t -> (Symbol.t * Value.t) Stdlib.List.t
val evaluate : t -> Symbol.t -> Value.t Stdlib.Option.t
val pp : Stdlib.Format.formatter -> ?no_values:bool -> t -> Stdlib.Unit.t
val to_string : t -> Stdlib.String.t
OCaml

Innovation. Community. Security.