Types.sdf3 pdmosses/metaborg-tiger/org.metaborg.lang.tiger.statix/syntax/Types.sdf3 1 2 3 4 5 6 7 8 9 10 11 12 13 module Types imports Base // Type declarations context-free syntax Dec.TypeDec = <type <ID> = <Type>> // Type expressions context-free syntax Type.Tid = ID ×