Appendix B. Inbuilts and Base Libraries

This appendix provides a brief description of the types and operators that are either "inbuilt" or provided by the current base libraries. The base libraries are automatically imported by every user-defined spec. The title of each section of this appendix is the qualifier of the type- and op-names given therein. For example, the full name for op ++ described in Section "List" is List.++. However, for the unary operator - on integers, the qualifier is Integer_ . Note, also, that inbuilts cannot be qualified.

For the sake of brevity, infixl is abbreviated below to L and infixr to R.