package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module E = Dolmen.Std.Expr

module B = Dolmen.Std.Builtin

module Term = Dolmen.Std.Expr.Term

module Var = Dolmen.Std.Expr.Term.Var

module Cst = Dolmen.Std.Expr.Term.Const

exception Quantifier

exception Partial_model

exception Incomplete_match

exception Unhandled_builtin of Cst.t

exception Undefined_variable of Var.t

exception Undefined_constant of Cst.t

val builtins : ('a -> Cst.t -> 'b option) list -> 'c -> Cst.t -> 'd

val eval : Env.t -> Dolmen_model.Fun.E.Term.t -> Value.t

val eval_var : Env.t -> Dolmen_std__Expr.ty Dolmen_std__Expr.id -> Value.t

val eval_cst : Env.t -> Dolmen_std__Expr.ty Dolmen_std__Expr.id -> Value.t

val eval_apply : 
  Env.t ->
  Dolmen_model.Fun.E.term ->
  Dolmen_model.Fun.E.Ty.t list ->
  Dolmen_model.Fun.E.term list ->
  Value.t

val eval_binder : Env.t -> E.binder -> Dolmen_model.Fun.E.term -> Value.t

val eval_match_aux : 
  Env.t ->
  Value.t ->
  (Dolmen_model.Adt.T.t * Dolmen_model.Fun.E.Term.t) list ->
  Value.t

val eval_match : 
  Env.t ->
  Dolmen_model.Fun.E.Term.t ->
  (Dolmen_model.Adt.T.t * Dolmen_model.Fun.E.Term.t) list ->
  Value.t