B/MANIF/PMATCH defines various manifests used by the B library's pattern matching functions. For more information, see
expl b lib p.compile
expl b lib p.match
expl b lib p.opt
Copyright © 1996, Thinkage Ltd.