- TM $ \ _env st ->
- let meT = (pos,declPath _env, [],boxLabel True)
- meF = (pos,declPath _env, [],boxLabel False)
- meE = (pos,declPath _env, [],ExpBox False)
+ TM $ \ env st ->
+ let meT = (pos,declPath env, [],boxLabel True)
+ meF = (pos,declPath env, [],boxLabel False)
+ meE = (pos,declPath env, [],ExpBox False)