You can search for identifiers within the package.
in-package search v0.2.0
type t
include Unsigned.Infix with type t := t
val (+) : t -> t -> t
Addition. See add.
add
val (-) : t -> t -> t
Subtraction. See sub.
sub
val (*) : t -> t -> t
Multiplication. See mul.
mul
val (/) : t -> t -> t
Division. See div.
div
val (mod) : t -> t -> t
Integer remainder. See rem.
rem
val (land) : t -> t -> t
Bitwise logical and. See logand.
logand
val (lor) : t -> t -> t
Bitwise logical or. See logor.
logor
val (lxor) : t -> t -> t
Bitwise logical exclusive or. See logxor.
logxor
val (lsl) : t -> int -> t
x lsl y shifts x to the left by y bits. See shift_left.
x lsl y
x
y
shift_left
val (lsr) : t -> int -> t
x lsr y shifts x to the right by y bits. See shift_right.
x lsr y
shift_right
val (asr) : t -> int -> t
x asr y shifts x to the right by y bits. See shift_right.
x asr y