package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Plus
  2. | Minus
  3. | Mult
  4. | DivU
  5. | DivS
  6. | ModU
  7. | ModS
  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
val invert : t -> t

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

val has_inverse : t -> bool