Searched refs:mb_local (Results 1 – 3 of 3) sorted by relevance
252 gsMultiBasis<> mb_local = mb[k]; in main() local264 assembler.setIntegrationElements(mb_local); in main()271 space u = assembler.getSpace(mb_local); in main()
212 gsMultiBasis<> mb_local = mb[k]; in main() local217 mb_local, in main()
153 | Just n <- mb_local = complain [text "bound at" <+> ppr (nameSrcLoc n)]158 mb_local = lookupLocalRdrOcc local_env occ function