package smtml

  1. Overview
  2. Docs
An SMT solver frontend for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (25)

Authors

  1. J
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
  2. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  3. H
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
  4. R
    redianthus <redopam@pm.me>
  5. A
    Arthur Carcano <arthur.carcano@ocamlpro.com>
  6. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  7. J
    José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>

Maintainers

  1. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.25.0.tar.gz
md5=9ef240b636d7059d48bb54e6b8f0a4c4
sha512=2c73a5baa2e4f8a496f575087597510edae58a4416959108e7a4b063fb9a35ae7461227c679868d82cd324865a563bd2a0df6da1fa3a88d416f76be32ea07809

doc/smtml/Smtml/Ty/Unop/index.html

Module Ty.UnopSource

Sourcetype t =
  1. | Neg
    (*

    Negation.

    *)
  2. | Not
    (*

    Logical NOT.

    *)
  3. | Clz
    (*

    Count leading zeros.

    *)
  4. | Ctz
    (*

    Count trailing zeros.

    *)
  5. | Popcnt
    (*

    Count bits set to 1.

    *)
  6. | Abs
    (*

    Absolute value.

    *)
  7. | Sqrt
    (*

    Square root.

    *)
  8. | Is_normal
  9. | Is_subnormal
  10. | Is_negative
  11. | Is_positive
  12. | Is_infinite
  13. | Is_nan
    (*

    Check if NaN.

    *)
  14. | Is_zero
  15. | Ceil
    (*

    Ceiling.

    *)
  16. | Floor
    (*

    Floor.

    *)
  17. | Trunc
    (*

    Truncate.

    *)
  18. | Nearest
    (*

    Round to nearest integer.

    *)
  19. | Head
    (*

    Get the head of a list.

    *)
  20. | Tail
    (*

    Get the tail of a list.

    *)
  21. | Reverse
    (*

    Reverse a list.

    *)
  22. | Length
    (*

    Get the length of a list.

    *)
  23. | Trim
    (*

    Trim whitespace (uninterpreted).

    *)
  24. | Regexp_star
    (*

    Kleene star.

    *)
  25. | Regexp_loop of int * int
    (*

    Loop with a range.

    *)
  26. | Regexp_plus
    (*

    Kleene plus.

    *)
  27. | Regexp_opt
    (*

    Optional.

    *)
  28. | Regexp_comp
    (*

    Complement.

    *)

The type t represents unary operations.

Sourceval compare : t -> t -> Ppx_deriving_runtime.int
Sourceval hash : t -> int
Sourceval equal : t -> t -> bool

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

Sourceval pp : t Fmt.t

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