Module Goblint_lib.GobResult

module Syntax : sig ... end

Open this to use applicative functor/monad syntax for result.