Delayed_result (gillian.Monadic.Delayed

type ('a, 'b) t = ('a, 'b) Result.t Delayed.t

val ok : 
  ?learned:Gillian.Gil_syntax.Formula.t list ->
  'a ->
  ('a, 'b) Stdlib.result Delayed.t

val error : 
  ?learned:Gillian.Gil_syntax.Formula.t list ->
  'a ->
  ('b, 'a) Stdlib.result Delayed.t

val of_result : 
  ?learned:Gillian.Gil_syntax.Formula.t list ->
  ?learned_types:(string * Gillian.Gil_syntax.Type.t) list ->
  'a ->
  'a Delayed.t

val map : ('a, 'e) t -> ('a -> 'b) -> ('b, 'e) t

val map_error : ('a, 'e) t -> ('e -> 'ee) -> ('a, 'ee) t

val bind : ('a, 'e) t -> ('a -> ('b, 'e) t) -> ('b, 'e) t

val map_bind : ('a, 'e) t -> ('a -> ('b, 'e) Result.t) -> ('b, 'e) t

val of_do : none:'a -> 'b Delayed_option.t -> ('b, 'a) Stdlib.result Delayed.t

val of_option : none:'e -> 'a option -> ('a, 'e) Stdlib.result Delayed.t

module Syntax : sig ... end