package dolmen_model

  1. Overview
  2. Docs

Type definitions

************************************************************************

type t

The type of environments for evaluations.

val empty : t

Variables and Constants values

************************************************************************

module type S = sig ... end
module Var : S with type key := Dolmen.Std.Expr.Term.Var.t
module Cst : S with type key := Dolmen.Std.Expr.Term.Const.t
OCaml

Innovation. Community. Security.