File tree Expand file tree Collapse file tree 3 files changed +5
-1
lines changed Expand file tree Collapse file tree 3 files changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -98,7 +98,7 @@ STDLIB_MODULE_BASENAMES = \
98
98
stdLabels \
99
99
in_channel \
100
100
out_channel \
101
- camlinternalComprehensions
101
+ camlinternalComprehension
102
102
103
103
STDLIB_PREFIXED_MODULES = \
104
104
$(filter-out stdlib camlinternal% , $(STDLIB_MODULE_BASENAMES ) )
Original file line number Diff line number Diff line change 13
13
(* *)
14
14
(* *************************************************************************)
15
15
16
+ open ! Stdlib
17
+
16
18
(* * Input channels.
17
19
18
20
This module provides functions for working with input channels.
Original file line number Diff line number Diff line change 13
13
(* *)
14
14
(* *************************************************************************)
15
15
16
+ open ! Stdlib
17
+
16
18
(* Type equality witness *)
17
19
18
20
type (_, _) eq = Equal : ('a , 'a ) eq
You can’t perform that action at this time.
0 commit comments