goblint.std
GobResult.Syntax
Open this to use applicative functor/monad syntax for result.
result
goblint.backtrace
goblint.build-info
goblint.common
goblint.lib
goblint.sites
goblint.timing
goblint_build_info_dune
goblint_build_info_js
goblint_sites_dune
goblint_sites_js
val (let+) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result
val (and+) : ('a, 'b) result -> ('c, 'b) result -> ('a * 'c, 'b) result
val (let*) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
val (and*) : ('a, 'b) result -> ('c, 'b) result -> ('a * 'c, 'b) result
val (>>=) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result