diff options
Diffstat (limited to 'backend/backendinterface.dcl')
| -rw-r--r-- | backend/backendinterface.dcl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/backend/backendinterface.dcl b/backend/backendinterface.dcl new file mode 100644 index 0000000..56fac85 --- /dev/null +++ b/backend/backendinterface.dcl @@ -0,0 +1,5 @@ +definition module backendinterface + +import frontend + +backEndInterface :: !{#Char} [{#Char}] !PredefinedSymbols !*FrontEndSyntaxTree !*File !*Files -> (!Bool, !*File, !*Files) |