Next: mpg-ref-false, Previous: mpg-ref-expand_term, Up: mpg-bpr [Contents][Index]
fail/0
fail
Always fails.
None.
ref-sem.