path: root/Driver.dcl

definition module ABC.Driver

from ABC.Def import ::State, ::Instruction
from ABC.GraphStore import ::Desc

boot        :: ([Instruction], [Desc]) -> State
fetch_cycle :: State -> State