Eval.T1
An evaluator interface parametrized by a T1 monad.
T1
module M : Core_kernel.T1
type 'a m = 'a M.t
class type 'r semantics = object ... end
interface that describes semantics of an expression
class type virtual ['r, 's] domain = object ... end
interface of the evaluation value domain
class type virtual ['r, 's] eff = object ... end
interface of the computation effects