boolMname = mkPrimMname "Bool"
mainVar = qual mainMname "main"
wrapperMainVar = qual wrapperMainMname "main"
boolMname = mkPrimMname "Bool"
mainVar = qual mainMname "main"
wrapperMainVar = qual wrapperMainMname "main"
flattenBinds (Nonrec vd : binds) = vd : flattenBinds binds
flattenBinds (Rec prs1 : binds) = prs1 ++ flattenBinds binds
flattenBinds [] = []
flattenBinds (Nonrec vd : binds) = vd : flattenBinds binds
flattenBinds (Rec prs1 : binds) = prs1 ++ flattenBinds binds
flattenBinds [] = []