Module Sig.Monadic_ContextSource

Parameters

module Context : Context

Signature

Sourceval (let*) : ('a -> 'b * 'c) -> ('b -> 'c -> 'd) -> 'a -> 'd
Sourcetype 'r ar0 = Context.t -> 'r * Context.t
Sourcetype ('a, 'r) ar1 = 'a -> Context.t -> 'r * Context.t
Sourcetype ('a, 'b, 'r) ar2 = 'a -> 'b -> Context.t -> 'r * Context.t
Sourcetype ('a, 'b, 'c, 'r) ar3 = 'a -> 'b -> 'c -> Context.t -> 'r * Context.t
Sourcetype ('a, 'r) variadic = 'a list -> Context.t -> 'r * Context.t