package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dba.Binary_opSource

Sourcetype t =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | DivU
  5. | DivS
  6. | RemU
  7. | RemS
  8. | Or
  9. | And
  10. | Xor
  11. | Concat
  12. | LShift
  13. | RShiftU
  14. | RShiftS
  15. | LeftRotate
  16. | RightRotate
  17. | Eq
  18. | Diff
  19. | LeqU
  20. | LtU
  21. | GeqU
  22. | GtU
  23. | LeqS
  24. | LtS
  25. | GeqS
  26. | GtS
Sourceval invert : t -> t

invert t inverts t if it has an inverse version. Raise Failure "BinaryOperator.invert " otherwise

Sourceval has_inverse : t -> bool