Reference replay of checked environment declarations.
Summary
Functions
@spec run(Theoria.Env.t()) :: Theoria.Kernel.Reference.Replay.Report.t()
Replays an environment declaration-by-declaration through the reference checker.
Reference replay of checked environment declarations.
@spec run(Theoria.Env.t()) :: Theoria.Kernel.Reference.Replay.Report.t()
Replays an environment declaration-by-declaration through the reference checker.