Module Dns__Operators

Some widely used operators.

external (|>) : 'a ‑> ('a ‑> 'b) ‑> 'b = "%revapply"

Pipe.

val (||>) : 'a list ‑> ('a ‑> 'b) ‑> 'b list

Element-wise pipe.

32 and 64 bit arithmetic and logic operations.

val (+++) : int32 ‑> int32 ‑> int32

Addition.

val (++++) : int64 ‑> int64 ‑> int64

Logical AND.

val (&&&) : int32 ‑> int32 ‑> int32

Logical AND.

val (&&&&) : int64 ‑> int64 ‑> int64

Logical OR.

val (|||) : int32 ‑> int32 ‑> int32

Logical OR.

val (||||) : int64 ‑> int64 ‑> int64

Logical XOR.

val (^^^) : int32 ‑> int32 ‑> int32

Logical XOR.

val (^^^^) : int64 ‑> int64 ‑> int64

Logical shift-left.

val (<|<) : int32 ‑> int ‑> int32

Logical shift-left.

val (<||<) : int64 ‑> int ‑> int64

Logical shift-right.

val (>|>) : int32 ‑> int ‑> int32

Logical shift-right.

val (>||>) : int64 ‑> int ‑> int64
val charstr : string ‑> string * int

Encode string as label by prepending length.