package strymonas-pure

  1. Overview
  2. Docs
type t =
  1. | ADD of numtyp
  2. | SUB of numtyp
  3. | MUL of numtyp
  4. | DIV of numtyp
  5. | MOD of numtyp
  6. | BAND of numtyp
  7. | BOR of numtyp
  8. | XOR of numtyp
  9. | SHL of numtyp
  10. | SHR of numtyp
  11. | EQ of numtyp
  12. | NE of numtyp
  13. | LT of numtyp
  14. | GT of numtyp
  15. | LE of numtyp
  16. | GE of numtyp
  17. | AND
  18. | OR
  19. | NEG of numtyp
  20. | NOT
  21. | BNOT of numtyp
  22. | ASSIGN of typ
  23. | INCR of numtyp
  24. | DECR of numtyp
  25. | CAST of {
    1. from : numtyp;
    2. onto : numtyp;
    }
  26. | Assert
  27. | DEREF of typ
  28. | REF of typ
  29. | Array1_get of typ
  30. | Array1_set of typ
  31. | Other of varname
val name : string -> t
OCaml

Innovation. Community. Security.