package encoding

  1. Overview
  2. Docs
type _ cast =
  1. | C8 : int cast
  2. | C32 : int32 cast
  3. | C64 : int64 cast
type bitwidth =
  1. | S8
  2. | S32
  3. | S64
type t =
  1. | Ty_int
  2. | Ty_real
  3. | Ty_bool
  4. | Ty_str
  5. | Ty_bitv of bitwidth
  6. | Ty_fp of bitwidth
  7. | Ty_var of {
    1. id : int;
    }
type unop =
  1. | Abs
  2. | Ceil
  3. | Clz
  4. | Ctz
  5. | Floor
  6. | Is_nan
  7. | Len
  8. | Neg
  9. | Nearest
  10. | Not
  11. | Sqrt
  12. | Trim
  13. | Trunc
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. | Nth
  20. | Concat
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. | Substr
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. | ExtS of int
  19. | ExtU of int
  20. | String_to_code
  21. | String_from_code
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_UF
  19. | QF_UFBV
  20. | QF_UFIDL
  21. | QF_UFLIA
  22. | QF_UFLRA
  23. | QF_UFNRA
  24. | UFLRA
  25. | 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 string_of_type : t -> string
val size : t -> int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct