Theoria.Kernel.Reference.Replay (theoria v0.5.0)

Copy Markdown View Source

Reference replay of checked environment declarations.

Summary

Functions

run(env)

Replays an environment declaration-by-declaration through the reference checker.

Functions

run(env)

@spec run(Theoria.Env.t()) :: Theoria.Kernel.Reference.Replay.Report.t()

Replays an environment declaration-by-declaration through the reference checker.