Module LogtkTypeInference.Closure

module Closure: sig .. end

type 'a t = LogtkTypeInference.Ctx.t -> 'a 
val return : 'a -> 'a t
val map : 'a t ->
('a -> 'b) -> 'b t
val (>>=) : 'a t ->
('a -> 'b t) -> 'b t
type 'a monad = 'a t 
monad used for traversal
val fold : 'a Sequence.t ->
'b monad ->
('b -> 'a -> 'b monad) ->
'b monad
val fold_l : 'a list ->
'b monad ->
('b -> 'a -> 'b monad) ->
'b monad
val map_l : 'a list ->
('a -> 'b monad) ->
'b list monad
val seq : 'a monad list ->
'a list monad