package encoding

You can search for identifiers within the package.

in-package search v0.2.0

package encoding

encoding
- Encoding
  - Ast
  - Constructors_intf
    
    Bitv
  - Eval_numeric
  - Expr
    
    Bitv
    
    I32
    
    I64
    
    I8
  - Interpret
    
    Make
    
    Solver
  - Interpret_intf
    
    S
  - Lexer
  - Log
  - Mappings_intf
    
    S
    
    Optimizer
    
    Solver
  - Model
  - Num
  - Op_intf
    
    S
  - Optimizer
    
    Z3
  - Params
  - Parse
  - Parser
  - Solver
    
    Batch
    
    M
    
    Optimizer
    
    Solver
    
    Incremental
    
    M
    
    Optimizer
    
    Solver
    
    Z3_batch
    
    Z3_incremental
  - Solver_intf
    
    S
  - Symbol
  - Ty
  - Value
  - Z3_mappings
    
    Fresh
    
    Make
    
    Optimizer
    
    Solver
    
    Optimizer
    
    Solver

Legend:
Library
Module
Module type
Parameter
Class
Class type

type _ cast =

| C8 : int cast
| C32 : int32 cast
| C64 : int64 cast

type sz =

| S8
| S32
| S64

type t =

| Ty_int
| Ty_real
| Ty_bool
| Ty_str
| Ty_bitv of sz
| Ty_fp of sz

type unop =

| Neg
| Not
| Clz
| Abs
| Sqrt
| Nearest
| Is_nan
| Ceil
| Floor
| Len
| Trim

type binop =

| Add
| Sub
| Mul
| Div
| DivU
| Rem
| RemU
| Shl
| ShrA
| ShrL
| And
| Or
| Xor
| Pow
| Min
| Max
| Rotl
| Rotr
| Nth
| Concat

type relop =

| Eq
| Ne
| Lt
| LtU
| Gt
| GtU
| Le
| LeU
| Ge
| GeU

type triop =

| Ite
| Substr

type cvtop =

| ToString
| OfString
| ToBool
| OfBool
| Reinterpret_int
| Reinterpret_float
| DemoteF64
| PromoteF32
| ConvertSI32
| ConvertUI32
| ConvertSI64
| ConvertUI64
| TruncSF32
| TruncUF32
| TruncSF64
| TruncUF64
| WrapI64
| ExtS of int
| ExtU of int
| String_to_code
| String_from_code

val pp_unop : Stdlib.Format.formatter -> unop -> unit

val pp_binop : Stdlib.Format.formatter -> binop -> unit

val pp_triop : Stdlib.Format.formatter -> triop -> unit

val pp_relop : Stdlib.Format.formatter -> relop -> unit

val pp_cvtop : Stdlib.Format.formatter -> cvtop -> unit

val pp : Stdlib.Format.formatter -> t -> unit

val string_of_type : t -> string

val size : t -> int