Up
Module
Extended_monad
Signature
module
List
=
Core.Std.List
module type
S
= sig .. end
module
Make
(
M
:
Core.Std.Monad.Basic
) :
S
with
type
'a
t
:= 'a
M.t
module type
S2
= sig .. end
module
Make2
(
M
:
Core.Std.Monad.Basic2
) :
S2
with
type
('a, 'b)
t
:= ('a, 'b)
M.t