bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Value . Make . 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)