Interpreter.dcl 313 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12
definition module ABC.Interpreter

from System.FilePath import :: FilePath

:: SerializedGraph

serialize_for_interpretation :: a !FilePath !FilePath !*World -> *(!SerializedGraph, !*World)

:: InterpretedExpression
:: *InterpretationEnvironment

get_start_rule_as_expression :: !FilePath !*World -> *(a, *World)