Next: , Previous: References, Up: Top


Appendix A Definitions

This appendix reviews the formal definitions of the objects that lbtt manipulates.