package encoding

  1. Overview
  2. Docs
val pp_string : Format.formatter -> string -> unit
val fprintf : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
type _ cast =
  1. | C32 : int32 cast
  2. | C64 : int64 cast
type sz =
  1. | S8
  2. | S32
  3. | S64
type t =
  1. | Ty_int
  2. | Ty_real
  3. | Ty_bool
  4. | Ty_str
  5. | Ty_bitv of sz
  6. | Ty_fp of sz
type unop =
  1. | Neg
  2. | Not
  3. | Clz
  4. | Abs
  5. | Sqrt
  6. | Nearest
  7. | Is_nan
  8. | Ceil
  9. | Floor
  10. | Len
  11. | 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. | 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
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 string_of_type : t -> string
val size : t -> int
OCaml

Innovation. Community. Security.