Next: mpg-ref-unify, Previous: mpg-ref-trimcore, Up: mpg-bpr [Contents][Index]
true/0
true
Always succeeds.
None.
ref-sem.