Biri.Make
module M : Monads.Std.Monad.State.S2
type ('a, 'e) state = ('a, 'e) M.t
type 'a u = (unit, 'a) state
type 'a r = (Bil.result, 'a) state
module Expi : Expi.S with type ('a, 'e) state = ('a, 'e) state
class 'a t : object ... end
base class for BIR interpreters