Bap_primus.Std.Primus.Linker.Code · bap-primus 2.1.0

bap-primus

The BAP Microexecution Framework

IN THIS PACKAGE

library bap_primus
- module Bap_primus
  - module Std
    
    module Primus
    
    module Analysis
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Components
    
    module Env
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Exn
    
    module Generator
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Random
    
    module Seeded
    
    module Info
    
    module Interpreter
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Iterator
    
    module type Base
    
    module type Finite
    
    module type Infinite
    
    module Job
    
    module Jobs
    
    module Linker
    
    module type Code
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Name
    
    module Cache
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Io
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Trace
    
    module Lisp
    
    module Closure
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module type S
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Doc
    
    module Category
    
    module Descr
    
    module type Element
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Name
    
    module Load
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Message
    
    module Primitive
    
    module type Primitives
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Type
    
    module Spec
    
    module Machine
    
    module type Component
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Main
    
    argument 1-M
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Make
    
    argument 1-M
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Monad_infix
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module type S
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module type State
    
    module Memory
    
    module Descriptor
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Observation
    
    module Provider
    
    module Pos
    
    module System
    
    module Generic
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Repository
    
    module Time
    
    module Value
    
    module Cache
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Id
    
    module Cache
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Io
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Index
    
    module Io
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Cache
    
    module Hash_queue
    
    module Key
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Io
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Symbol
    
    module Syntax
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key

Module type Bap_primus . Std . Primus . Linker . Code

Parameters

module Machine : Machine.S

Signature

val exec : unit Machine.t

exec computes the code.

bap-primus 2.5.0 2.4.0 2.3.0 2.2.0 2.1.0 2.0.0 1.6.0 1.5.0 1.4.0 1.3.0

Parameters

Signature

bap-primus