package bap-primus

You can search for identifiers within the package.

in-package search v0.2.0

Module `Make.Syntax`

Int-like syntax.

val (~-) : t -> t m

see Word.(~-)

val (+) : t -> t -> t m

see Word.(+)

val (-) : t -> t -> t m

see Word.(-)

val (*) : t -> t -> t m

see Word.(*)

val (/) : t -> t -> t m

see Word.(/)

val (mod) : t -> t -> t m

see Word.(mod)

val (lor) : t -> t -> t m

see Word.(lor)

val (lsl) : t -> t -> t m

see Word.(lsl)

val (lsr) : t -> t -> t m

see Word.(lsr)

val (asr) : t -> t -> t m

see Word.(asr)

val (lxor) : t -> t -> t m

see Word.(lxor)

val (land) : t -> t -> t m

see Word.(land)