Model Module. This module defines a symbol table that maps symbols to values. It provides utility functions for iteration, retrieval, evaluation, serialization, and parsing from various formats.
type t = (Symbol.t, Value.t) Smtml_prelude.Hashtbl.titer f tbl applies function f to all bindings in tbl.
get_bindings tbl returns all bindings in tbl, sorted by symbol.
evaluate tbl sym returns the value associated with symbol sym in tbl, if any.
pp ?no_values fmt tbl formats tbl using Fmt.t. If no_values is true, values are omitted from the output.
val to_string : t -> stringto_string tbl converts tbl to a human-readable string.
val to_json_string : t -> stringto_json_string tbl converts tbl to a JSON string.
val to_scfg : no_value:bool -> t -> Scfg.Types.configto_scfg ~no_value tbl converts tbl to an SCFG configuration. If no_value is true, values are omitted from the output.
val to_scfg_string : no_value:bool -> t -> stringto_scfg_string ~no_value tbl converts tbl to an SCFG string.
val to_smtlib_string : t -> stringto_smtlib_string tbl converts tbl to an SMT-LIB string.
module Parse : sig ... end