package p4spectec

  1. Overview
  2. Docs

Source file envs.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
open Domain.Lib

(* Environments *)

(* Value environment *)

module VEnv = Dynamic.Envs.VEnv

(* Type definition environment *)

module TDEnv = Dynamic.Envs.TDEnv
module TDTbl = Dynamic.Envs.TDTbl

(* Relation environment *)

module REnv = MakeRIdEnv (Rel)
module RTbl = MakeRIdTbl (Rel)

(* Definition environment *)

module FEnv = MakeFIdEnv (Func)
module FTbl = MakeFIdTbl (Func)