| Functions | Code Templates |
| ƒ0⟦program⟧ | ƒ0⟦program → varDefinition* statement*⟧ = |
| ƒ1⟦varDefinition⟧ | ƒ1⟦varDefinition → type name:string⟧ = |
| ƒ2⟦type⟧ | ƒ2⟦intType:type → ε⟧ = ƒ2⟦floatType:type → ε⟧ = |
| ƒ3⟦statement⟧ | ƒ3⟦print:statement → expression⟧ = ƒ3⟦assignment:statement → left:expression right:expression⟧ = |
| ƒ4⟦expression⟧ | ƒ4⟦arithmetic:expression → left:expression operator:string right:expression⟧ = ƒ4⟦variable:expression → name:string⟧ = ƒ4⟦intLiteral:expression → intValue:int⟧ = ƒ4⟦floatLiteral:expression → floatValue:float⟧ = |