goblint.std
GobResult.Syntax
Open this to use applicative functor/monad syntax for result.
result
goblint.backtrace
goblint.build-info
goblint.cdomain
goblint.common
goblint.config
goblint.constraint
goblint.domain
goblint.incremental
goblint.lib
goblint.library
goblint.logs
goblint.parallel
goblint.sites
goblint.solver
goblint.timing
goblint.tracing
goblint_cdomain_value
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