package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Add
    (*

    Addition.

    *)
  2. | Sub
    (*

    Subtraction.

    *)
  3. | Mul
    (*

    Multiplication.

    *)
  4. | Div
    (*

    Division.

    *)
  5. | DivU
    (*

    Unsigned division.

    *)
  6. | Rem
    (*

    Remainder.

    *)
  7. | RemU
    (*

    Unsigned remainder.

    *)
  8. | Shl
    (*

    Shift left.

    *)
  9. | ShrA
    (*

    Arithmetic shift right.

    *)
  10. | ShrL
    (*

    Logical shift right.

    *)
  11. | And
    (*

    Bitwise AND.

    *)
  12. | Or
    (*

    Bitwise OR.

    *)
  13. | Xor
    (*

    Bitwise XOR.

    *)
  14. | Pow
    (*

    Exponentiation.

    *)
  15. | Min
    (*

    Minimum.

    *)
  16. | Max
    (*

    Maximum.

    *)
  17. | Copysign
    (*

    Copy sign.

    *)
  18. | Rotl
    (*

    Rotate left.

    *)
  19. | Rotr
    (*

    Rotate right.

    *)
  20. | At
    (*

    List indexing.

    *)
  21. | List_cons
    (*

    List construction.

    *)
  22. | List_append
    (*

    List concatenation.

    *)
  23. | String_prefix
    (*

    Check if a string is a prefix. (str.prefixof String String Bool)

    *)
  24. | String_suffix
    (*

    Check if a string is a suffix. (str.suffixof String String Bool)

    *)
  25. | String_contains
    (*

    Check if a string contains another. (str.contains String String Bool)

    *)
  26. | String_last_index
    (*

    Find the last index of a substring.

    *)
  27. | String_in_re
    (*

    Check if a string matches a regular expression.

    *)
  28. | Regexp_range
    (*

    Range of characters.

    *)

The type t represents binary operations.

val equal : t -> t -> bool

equal op1 op2 checks if binary operations op1 and op2 are equal.

val pp : t Fmt.t

pp fmt op pretty-prints the binary operation op using the formatter fmt.

OCaml

Innovation. Community. Security.