1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(** @canonical Terms.Builder *)
module Builder = Terms__Builder
(** @canonical Terms.Condition *)
module Condition = Terms__Condition
(** @canonical Terms.Const_eval *)
module Const_eval = Terms__Const_eval
(** @canonical Terms.Relations *)
module Relations = Terms__Relations
(** @canonical Terms.Sig *)
module Sig = Terms__Sig
(** @canonical Terms.Slicing *)
module Slicing = Terms__Slicing
(** @canonical Terms.Smt *)
module Smt = Terms__Smt