You can search for identifiers within the package.
in-package search v0.2.0
codex.single_value_abstraction
Ival.Integer_Backward
val itimes : Z.t -> (integer, integer) Operator.Backward_Arity.ar1
Multiply an integer by a constant
val iadd : (integer, integer, integer) Operator.Backward_Arity.ar2
val imul : (integer, integer, integer) Operator.Backward_Arity.ar2
val idiv : (integer, integer, integer) Operator.Backward_Arity.ar2
This is truncated (C99-like) integer division
val imod : (integer, integer, integer) Operator.Backward_Arity.ar2
val ishl : (integer, integer, integer) Operator.Backward_Arity.ar2
val ishr : (integer, integer, integer) Operator.Backward_Arity.ar2
val iand : (integer, integer, integer) Operator.Backward_Arity.ar2
Bitwise and, where negative integers are seen as prefixed by infinite ones
val ior : (integer, integer, integer) Operator.Backward_Arity.ar2
Bitwise or, where negative integers are seen as prefixed by infinite ones
val ixor : (integer, integer, integer) Operator.Backward_Arity.ar2
val isub : (integer, integer, integer) Operator.Backward_Arity.ar2
val ieq : (integer, integer, boolean) Operator.Backward_Arity.ar2
val ile : (integer, integer, boolean) Operator.Backward_Arity.ar2