package owi

You can search for identifiers within the package.

in-package search v0.2.0

owi
- Owi
  - Assigned
  - Binary_deserializer
  - C_instrumentor
  - C_share
  - C_share_site
    
    Sites
  - Check
  - Choice_intf
    
    Base
    
    V
    
    Complete
    
    V
  - Cmd_c
  - Cmd_fmt
  - Cmd_opt
  - Cmd_run
  - Cmd_script
  - Cmd_sym
  - Cmd_validate
  - Cmd_wasm2wat
  - Compile
  - Concrete
    
    Choice
    
    Data
    
    Elem
    
    Env
    
    Extern_func
    
    Global
    
    Memory
    
    Module_to_run
    
    Table
  - Concrete_choice
  - Concrete_global
  - Concrete_memory
  - Concrete_table
  - Concrete_value
    
    Func
    
    Make_extern_func
    
    M
    
    V
  - Convert
    
    Float32
    
    Float64
    
    Int32
    
    Int64
  - Env_id
    
    Map
    
    Tbl
  - Float32
  - Float64
  - Format
  - Func_id
  - Func_intf
    
    Monad_type
    
    T
    
    T_Extern_func
    
    Value_types
  - Grouped
  - Imported
  - Indexed
  - Int32
  - Int64
  - Interpret
    
    Concrete
    
    SymbolicM
    
    SymbolicP
  - Interpret_intf
    
    Memory_data
    
    P
    
    Choice
    
    Data
    
    Elem
    
    Env
    
    Extern_func
    
    Global
    
    Memory
    
    Module_to_run
    
    Table
    
    Value
    
    Bool
    
    F32
    
    F64
    
    I32
    
    I64
    
    Ref
    
    S
    
    State
  - Lexer
  - Link
    
    StringMap
    
    StringSet
  - Link_env
    
    Build
    
    P
    
    T
  - Log
  - Menhir_parser
    
    Incremental
    
    MenhirInterpreter
  - Named
  - Optimize
  - Parse
    
    Inline_module
    
    Module
    
    Script
  - Result
  - Rewrite
  - Runtime
  - Script
  - Simplified
    
    Pp
  - Simplified_types
  - Solver
    
    Z3Batch
  - Spectest
  - Stack
    
    Make
    
    V
    
    Bool
    
    F32
    
    F64
    
    I32
    
    I64
    
    Ref
    
    S
  - String_map
  - Symbolic
    
    M
    
    Data
    
    Elem
    
    Env
    
    Extern_func
    
    Memory
    
    ITbl
    
    Module_to_run
    
    MakeP
    
    Choice
    
    Data
    
    Elem
    
    Env
    
    Extern_func
    
    Memory
    
    Module_to_run
    
    Thread
    
    P
    
    Data
    
    Elem
    
    Env
    
    Extern_func
    
    Memory
    
    ITbl
    
    Module_to_run
    
    Thread
  - Symbolic_choice
    
    Minimalist
    
    Multicore
  - Symbolic_global
  - Symbolic_memory
    
    ITbl
  - Symbolic_table
    
    ITbl
  - Symbolic_value
    
    Bool
    
    F32
    
    F64
    
    I32
    
    I64
    
    Ref
  - Syntax
  - Text
  - Thread
  - Tracing
  - Trap
  - Typecheck
  - Types
  - V
    
    Bool
    
    F32
    
    F64
    
    I32
    
    I64
    
    Ref
  - Value_intf
    
    Fop
    
    Iop
    
    T
    
    Bool
    
    F32
    
    F64
    
    I32
    
    I64
    
    Ref
  - Wutf8

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type collection

val init : unit -> collection

val clone : collection -> collection

val get_memory : Env_id.t -> Concrete_memory.t -> collection -> int -> t

val replace_size : t -> Int32.t -> Smtml.Expr.t -> unit

val free : t -> Int32.t -> unit

val grow : t -> Smtml.Expr.t -> unit

val fill : t -> pos:Smtml.Expr.t -> len:Smtml.Expr.t -> char -> Smtml.Expr.t

val blit : 
  t ->
  src:Smtml.Expr.t ->
  dst:Smtml.Expr.t ->
  len:Smtml.Expr.t ->
  Smtml.Expr.t

val blit_string : 
  t ->
  string ->
  src:Smtml.Expr.t ->
  dst:Smtml.Expr.t ->
  len:Smtml.Expr.t ->
  Smtml.Expr.t

val size : t -> Smtml.Expr.t

val size_in_pages : t -> Smtml.Expr.t

val get_limit_max : t -> Smtml.Expr.t option

module ITbl : sig ... end

val iter : (t ITbl.t -> unit) -> collection -> unit

val concretise : Smtml.Expr.t -> Smtml.Expr.t Symbolic_choice.Minimalist.t

val check_within_bounds : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val with_concrete : 
  t ->
  Smtml.Expr.t ->
  (t -> Symbolic_value.int32 -> 'a) ->
  'a0 Symbolic_choice.Minimalist.t

val load_8_s : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val load_8_u : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val load_16_s : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val load_16_u : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val load_32 : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val load_64 : 
  t ->
  Smtml.Expr.t ->
  Symbolic_value.int32 Symbolic_choice.Minimalist.t

val store_8 : 
  t ->
  addr:Smtml.Expr.t ->
  Smtml.Expr.t ->
  unit Symbolic_choice.Minimalist.t

val store_16 : 
  t ->
  addr:Smtml.Expr.t ->
  Smtml.Expr.t ->
  unit Symbolic_choice.Minimalist.t

val store_32 : 
  t ->
  addr:Smtml.Expr.t ->
  Smtml.Expr.t ->
  unit Symbolic_choice.Minimalist.t

val store_64 : 
  t ->
  addr:Smtml.Expr.t ->
  Smtml.Expr.t ->
  unit Symbolic_choice.Minimalist.t