Method
eqTypes
Test to see whether two variable environments (representing formal parameters to a function) have the same types.
(VarEnv ps, VarEnv qs)
Source from the content-addressed store, hash-verified
source not stored for this graph (policy: none)
Tested by
no test coverage detected