Module Sch_free

type (_, _) aseq =
  1. | ANil : ('f, unit) aseq
  2. | ACons : ('a, 'f) Sch_sig.app * ('f, 'u) aseq -> ('f, 'a * 'u) aseq
type ('f, 'y, 'z) continue = {
  1. cont : 'x. ('x -> 'y) -> ('f, 'x) aseq -> 'z;
}
val reduce_aseq : 'f Sch_sig.applicative -> ('f, 'u) aseq -> ('u, 'f) Sch_sig.app
val hoist_aseq : ('f, 'g) Sch_sig.nat -> ('f, 'a) aseq -> ('g, 'a) aseq
val rebase_aseq : ('f, 'u) aseq -> ('f, 'y, 'z) continue -> ('v -> 'u -> 'y) -> ('f, 'v) aseq -> 'z
type ('f, 'a) t = {
  1. fold : 'u 'y 'z. ('f, 'y, 'z) continue -> ('u -> 'a -> 'y) -> ('f, 'u) aseq -> 'z;
}
val pure : 'a -> ('f, 'a) t
val map : ('a -> 'b) -> ('f, 'a) t -> ('f, 'b) t
val apply : ('f, 'a -> 'b) t -> ('f, 'a) t -> ('f, 'b) t
val lift : ('a, 'f) Sch_sig.app -> ('f, 'a) t
val hoist : ('f, 'g) Sch_sig.nat -> ('f, 'a) t -> ('g, 'a) t
val retract : 'f Sch_sig.applicative -> ('f, 'a) t -> ('a, 'f) Sch_sig.app
val run : 'g Sch_sig.applicative -> ('f, 'g) Sch_sig.nat -> ('f, 'a) t -> ('a, 'g) Sch_sig.app
module Syntax : sig ... end