Source file `olmiList.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
open Olmi

include List

module Requirement = Make.WithJoin(struct
    type 'a t = 'a list
    let return x = [x]
    let fmap = map
    let join = flatten
  end)

include Make.Plus (Requirement)
    (struct
      type 'a t = 'a list
      let mempty = []
      let mplus = append
    end)