package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val iter : ((Symbol.t * Value.t) -> unit) -> t -> unit
val get_symbols : t -> Symbol.t list
val get_bindings : t -> (Symbol.t * Value.t) list

bindings are sorted by symbol

val evaluate : t -> Symbol.t -> Value.t option
val pp : Prelude.Fmt.formatter -> ?no_values:bool -> t -> unit
val to_string : t -> string
val to_json : t -> Yojson.t
OCaml

Innovation. Community. Security.