1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
(** @canonical Builtin.Call *)
module Call = Builtin__Call
(** @canonical Builtin.Error *)
module Error = Builtin__Error
(** @canonical Builtin.Extract *)
(** @canonical Builtin.Fresh *)
module Fresh = Builtin__Fresh
(** @canonical Builtin.Ints *)
module Ints = Builtin__Ints
(** @canonical Builtin.Lists *)
module Lists = Builtin__Lists
(** @canonical Builtin.Maps *)
module Maps = Builtin__Maps
(** @canonical Builtin.Nats *)
module Nats = Builtin__Nats
(** @canonical Builtin.Numerics *)
module Numerics = Builtin__Numerics
(** @canonical Builtin.Sets *)
module Sets = Builtin__Sets
(** @canonical Builtin.Texts *)
module Texts = Builtin__Texts