package p4spectec

  1. Overview
  2. Docs

Source file static.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Static.Envs *)
module Envs = Static__Envs

(** @canonical Static.Func *)
module Func = Static__Func

(** @canonical Static.Rel *)
module Rel = Static__Rel

(** @canonical Static.Typdim *)
module Typdim = Static__Typdim