Syntax (tezos-protocol-007-PsDELPH1.Tezos_raw_protocol_007

val (>|=?) : 
  'a Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t ->
  ('a -> 'b) ->
  'b Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val (>>?=) : 
  'a Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult ->
  ('a ->
    'b Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
      Tezos_protocol_environment_007_PsDELPH1.Lwt.t) ->
  'b Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val ok_unit : unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

val ok_none : 
  'a option Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

val ok_some : 
  'a ->
  'a option Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

val ok_nil : 
  'a list Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

val error_unless : 
  bool ->
  Tezos_protocol_environment_007_PsDELPH1.Error_monad.error ->
  unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

val error_when : 
  bool ->
  Tezos_protocol_environment_007_PsDELPH1.Error_monad.error ->
  unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

val filter_s : 
  ('a ->
    bool Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
      Tezos_protocol_environment_007_PsDELPH1.Lwt.t) ->
  'a list ->
  'a list Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val map : 
  ('a -> 'b Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult) ->
  'a list ->
  'b list Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult