The B library offers a large collection of utility routines for B, C, and Pascal programs. For a list of available routines see "expl b lib index".
Copyright © 1996, Thinkage Ltd.