Source file `traverse.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
module Modules = Modules

module Values = Values

include (Modules :
  module type of struct include Modules end with
  module Applicative := Modules.Applicative)

include (Values :
  module type of struct include Values end with
  module Applicative := Values.Applicative)

module Applicative = struct
  include Modules.Applicative

  include Values.Applicative
end

module Primitives = Primitives