package p4spectec

  1. Overview
  2. Docs

Source file domain.ml

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

(** @canonical Domain.Atom *)
module Atom = Domain__Atom

(** @canonical Domain.Caches *)
module Caches = Domain__Caches

(** @canonical Domain.Lib *)
module Lib = Domain__Lib

(** @canonical Domain.Mixfix *)
module Mixfix = Domain__Mixfix

(** @canonical Domain.Mixop *)
module Mixop = Domain__Mixop