copilot-core-0.2: An intermediate representation for Copilot.
Copilot.Core.Interpret.Eval
Description
A tagless interpreter for Copilot specifications.
Synopsis
data ExtEnv Source
Environment for simulation.
Constructors
Fields
type Output = StringSource
data ExecTrace Source
Instances
eval :: ShowType -> Int -> ExtEnv -> Spec -> ExecTraceSource