Expression.dcl « src « Assignment2 - NWI-IMC046-Model-Checking - Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/Assignment2/src/Expression.dcl

blob: d462eb9231fdc7eb67fc88135b054e3a456c89bc (plain) (blame)

definition module Expression

from StdOverloaded import class toString

:: Expression

parseInfix :: !String -> Expression
instance toString Expression // prefix