Monad_sequence (snarky.Snarky_backendless.Monad

module type S = sig ... end

Helpers for operating over a sequence of data (currently, either an array or a list) inside of a monad.

module List
  (M : Monad_let.S)
  (Bool : sig ... end) : 
  S
    with type 'a t = 'a list
     and type 'a monad := 'a M.t
     and type boolean := Bool.t

module Array
  (M : Monad_let.S)
  (Bool : sig ... end) : 
  S
    with type 'a t = 'a array
     and type 'a monad := 'a M.t
     and type boolean := Bool.t