package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type _ cast =
  1. | C8 : int cast
  2. | C32 : int32 cast
  3. | C64 : int64 cast
type t =
  1. | Ty_int
  2. | Ty_real
  3. | Ty_bool
  4. | Ty_str
  5. | Ty_bitv of int
  6. | Ty_fp of int
  7. | Ty_list
  8. | Ty_tuple
  9. | Ty_array
type unop =
  1. | Neg
  2. | Not
  3. | Clz
  4. | Ctz
  5. | Abs
  6. | Sqrt
  7. | Is_nan
  8. | Ceil
  9. | Floor
  10. | Trunc
  11. | Nearest
  12. | Seq_length
  13. | Trim
type binop =
  1. | Add
  2. | Sub
  3. | Mul
  4. | Div
  5. | DivU
  6. | Rem
  7. | RemU
  8. | Shl
  9. | ShrA
  10. | ShrL
  11. | And
  12. | Or
  13. | Xor
  14. | Pow
  15. | Min
  16. | Max
  17. | Rotl
  18. | Rotr
  19. | Seq_at
  20. | Seq_concat
  21. | Seq_prefix
  22. | Seq_suffix
  23. | Seq_contains
  24. | Seq_last_index
type relop =
  1. | Eq
  2. | Ne
  3. | Lt
  4. | LtU
  5. | Gt
  6. | GtU
  7. | Le
  8. | LeU
  9. | Ge
  10. | GeU
type triop =
  1. | Ite
  2. | Seq_extract
  3. | Seq_replace
  4. | Seq_index
type cvtop =
  1. | ToString
  2. | OfString
  3. | ToBool
  4. | OfBool
  5. | Reinterpret_int
  6. | Reinterpret_float
  7. | DemoteF64
  8. | PromoteF32
  9. | ConvertSI32
  10. | ConvertUI32
  11. | ConvertSI64
  12. | ConvertUI64
  13. | TruncSF32
  14. | TruncUF32
  15. | TruncSF64
  16. | TruncUF64
  17. | WrapI64
  18. | Sign_extend of int
  19. | Zero_extend of int
  20. | String_to_code
  21. | String_from_code
  22. | String_to_int
  23. | String_from_int
type logic =
  1. | AUFLIA
  2. | AUFLIRA
  3. | AUFNIRA
  4. | LIA
  5. | LRA
  6. | QF_ABV
  7. | QF_AUFBV
  8. | QF_AUFLIA
  9. | QF_AX
  10. | QF_BV
  11. | QF_BVFP
  12. | QF_IDL
  13. | QF_LIA
  14. | QF_LRA
  15. | QF_NIA
  16. | QF_NRA
  17. | QF_RDL
  18. | QF_S
  19. | QF_UF
  20. | QF_UFBV
  21. | QF_UFIDL
  22. | QF_UFLIA
  23. | QF_UFLRA
  24. | QF_UFNRA
  25. | UFLRA
  26. | UFNIA
val pp_unop : Format.formatter -> unop -> unit
val pp_binop : Format.formatter -> binop -> unit
val pp_triop : Format.formatter -> triop -> unit
val pp_relop : Format.formatter -> relop -> unit
val pp_cvtop : Format.formatter -> cvtop -> unit
val pp : Format.formatter -> t -> unit
val pp_logic : Format.formatter -> logic -> unit
val equal : t -> t -> bool
val string_of_type : t -> string
val size : t -> int
OCaml

Innovation. Community. Security.