Source file `olmiIdentity.ml`

1
2
3
4
5
6
7
8
9
10
open Olmi

module Requirement = Make.WithBind(
  struct
    type 'a t = 'a
    let return x = x
    let bind x f = f x
  end)

include Make.Monad(Requirement)