You can search for identifiers within the package.
in-package search v0.2.0
Smtlib Integer and Real Arithmetic
type arith =
| Regular
| Linear of [ `Large | `Strict ]
| Difference of [ `IDL | `RDL | `UFIDL ]
The different type of arithmetic restrictions, see the comment in arith.ml for more information.
module Int : sig ... end
Standalone Integer arithmetic
module Real : sig ... end
module Real_Int : sig ... end
Mixed Integer and Real arithmetic