gillian » Gillian » Utils » Syntaxes » Result_of_option

Module Syntaxes.Result_of_option

val (let=*) :
  ('a option, 'b) Stdlib.result ->
  ('a -> ('c option, 'b) Stdlib.result) ->
  ('c option, 'b) Stdlib.result

val (let=+) :
  ('a option, 'b) Stdlib.result ->
  ('a -> 'c) ->
  ('c option, 'b) Stdlib.result

val (let=/) :
  ('a option, 'b) Stdlib.result ->
  (unit -> ('a option, 'b) Stdlib.result) ->
  ('a option, 'b) Stdlib.result

val (let=-) :
  ('a option, 'b) Stdlib.result ->
  (unit -> 'a) ->
  ('a option, 'b) Stdlib.result