package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type t

The type of environments for evaluations.

val empty : t

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

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