package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.ModelSource

Sourceval get_symbols : model -> Symbol.t list

get_symbols model retrieves the list of symbols in the model.

Sourceval eval : ?ctx:term Smtml.Symbol.Map.t -> ?completion:bool -> model -> term -> interp option

eval ?completion model t evaluates the term t in the given model. If completion is true, missing values are completed.