Driver.dcl « Machine « ABC - abc-machine - Clean port of the original (Koopman 1990) ABC machine specification and reference implementation in Miranda

about summary refs log tree commit diff

path: root/ABC/Machine/Driver.dcl

blob: 5beebe55a2c5ac68bc10104ca5d65efd0597dce4 (plain) (blame)

definition module ABC.Machine.Driver

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

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