Std.Biri
BIR Interpreter
Biri evaluates terms in the context of a whole program (since terms may contain calls and jumps). Biri also tracks for current position inside block, the block and preceding block.
module type S = sig ... end
include S with type ('a, 'e) state = ('a, 'e) Monads.Std.Monad.State.t
type ('a, 'e) state = ('a, 'e) Monads.Std.Monad.State.t
type 'a u = (unit, 'a) state
type 'a r = (Bil.result, 'a) state
class 'a t : object ... end
base class for BIR interpreters