gillian » Gillian » Gil_syntax » BinOp

Module Gil_syntax.BinOp

type t =

1. | Equal
   (*

   Equality

   *)
2. | ILessThan
   (*

   Less for integers

   *)
3. | ILessThanEqual
   (*

   Less or equal for integers

   *)
4. | IPlus
   (*

   Integer addition

   *)
5. | IMinus
   (*

   Integer subtraction

   *)
6. | ITimes
   (*

   Integer multiplication

   *)
7. | IDiv
   (*

   Integer division

   *)
8. | IMod
   (*

   Integer modulus

   *)
9. | FLessThan
   (*

   Less for floats

   *)
10. | FLessThanEqual
    (*

    Less or equal for floats

    *)
11. | FPlus
    (*

    Float addition

    *)
12. | FMinus
    (*

    Float subtraction

    *)
13. | FTimes
    (*

    Float multiplication

    *)
14. | FDiv
    (*

    Float division

    *)
15. | FMod
    (*

    Float modulus

    *)
16. | And
    (*

    Boolean conjunction

    *)
17. | Or
    (*

    Boolean disjunction

    *)
18. | Impl
    (*

    Boolean implication

    *)
19. | BitwiseAnd
    (*

    Bitwise conjunction

    *)
20. | BitwiseOr
    (*

    Bitwise disjunction

    *)
21. | BitwiseXor
    (*

    Bitwise exclusive disjunction

    *)
22. | LeftShift
    (*

    Left bitshift

    *)
23. | SignedRightShift
    (*

    Signed right bitshift

    *)
24. | UnsignedRightShift
    (*

    Unsigned right bitshift

    *)
25. | BitwiseAndL
    (*

    Bitwise conjunction 64bit

    *)
26. | BitwiseOrL
    (*

    Bitwise disjunction 64bit

    *)
27. | BitwiseXorL
    (*

    Bitwise exclusive disjunction 64bit

    *)
28. | LeftShiftL
    (*

    Left bitshift 64bit

    *)
29. | SignedRightShiftL
    (*

    Signed right bitshift 64bit

    *)
30. | UnsignedRightShiftL
    (*

    Right bitshift 64bit

    *)
31. | BitwiseAndF
    (*

    Bitwise conjunction float

    *)
32. | BitwiseOrF
    (*

    Bitwise disjunction float

    *)
33. | BitwiseXorF
    (*

    Bitwise exclusive disjunction float

    *)
34. | LeftShiftF
    (*

    Left bitshift float

    *)
35. | SignedRightShiftF
    (*

    Signed right bitshift float

    *)
36. | UnsignedRightShiftF
    (*

    Unsigned right bitshift float

    *)
37. | M_atan2
    (*

    Arctangent y/x

    *)
38. | M_pow
    (*

    Power

    *)
39. | LstNth
    (*

    Nth element of a string

    *)
40. | LstRepeat
41. | StrCat
    (*

    String concatenation

    *)
42. | StrNth
    (*

    Nth element of a string

    *)
43. | StrLess
    (*

    Less or equal for strings

    *)
44. | SetDiff
    (*

    Set difference

    *)
45. | SetMem
    (*

    Set membership

    *)
46. | SetSub
    (*

    Subset

    *)

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val equal : t -> t -> Ppx_deriving_runtime.bool

val str : t -> string

Printer