- [ AST.SubProgBody exSpec [] [exExpr]
- , AST.SubProgBody replaceSpec [AST.SPVD replaceVar] [replaceExpr,replaceRet]
- , AST.SubProgBody headSpec [] [headExpr]
- , AST.SubProgBody lastSpec [] [lastExpr]
- , AST.SubProgBody initSpec [AST.SPVD initVar] [initExpr, initRet]
- , AST.SubProgBody tailSpec [AST.SPVD tailVar] [tailExpr, tailRet]
- , AST.SubProgBody takeSpec [AST.SPVD takeVar] [takeExpr, takeRet]
- , AST.SubProgBody dropSpec [AST.SPVD dropVar] [dropExpr, dropRet]
- , AST.SubProgBody plusgtSpec [AST.SPVD plusgtVar] [plusgtExpr, plusgtRet]
- , AST.SubProgBody emptySpec [AST.SPVD emptyVar] [emptyExpr]
- , AST.SubProgBody singletonSpec [AST.SPVD singletonVar] [singletonRet]
- , AST.SubProgBody copySpec [AST.SPVD copyVar] [copyExpr]
+ [ (exId, AST.SubProgBody exSpec [] [exExpr])
+ , (replaceId, AST.SubProgBody replaceSpec [AST.SPVD replaceVar] [replaceExpr,replaceRet])
+ , (headId, AST.SubProgBody headSpec [] [headExpr])
+ , (lastId, AST.SubProgBody lastSpec [] [lastExpr])
+ , (initId, AST.SubProgBody initSpec [AST.SPVD initVar] [initExpr, initRet])
+ , (tailId, AST.SubProgBody tailSpec [AST.SPVD tailVar] [tailExpr, tailRet])
+ , (takeId, AST.SubProgBody takeSpec [AST.SPVD takeVar] [takeExpr, takeRet])
+ , (dropId, AST.SubProgBody dropSpec [AST.SPVD dropVar] [dropExpr, dropRet])
+ , (plusgtId, AST.SubProgBody plusgtSpec [AST.SPVD plusgtVar] [plusgtExpr, plusgtRet])
+ , (emptyId, AST.SubProgBody emptySpec [AST.SPVD emptyVar] [emptyExpr])
+ , (singletonId, AST.SubProgBody singletonSpec [AST.SPVD singletonVar] [singletonRet])
+ , (copyId, AST.SubProgBody copySpec [AST.SPVD copyVar] [copyExpr])