package preface

You can search for identifiers within the package.

in-package search v0.2.0

Source file `monad.ml`

1
2
3
4
5
6
7
8
9
module type LAWS = sig
  type 'a t

  include Indexed_monad.LAWS with type ('a, _) t := 'a t
end

module For (M : Preface_specs.MONAD) : LAWS with type 'a t := 'a M.t = struct
  include Indexed_monad.For (Preface_make.Monad.Index (M))
end