pr1 Program pr1 gSum TInt add gAdd TInt TInt Assign gSum OpApp Add Var

pr1 :: Program
pr1 = (
      [("gSum", TInt)], 
      [add], 
      [
        ("gAdd", 
         ([("x", TInt), ("y", TInt)], 
          [
           Assign "gSum" (OpApp Add (Var "x") (Var "y"))
          ])
        ),
        ("main",([],
          [ 
           Call "" "gAdd" [Const (I 1), Const (I 2)] 
          ])
        )
      ]
     )