• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • bap-primus

  • Documentation
  • doc
  1. Overview
  2. Docs
package bap-primus
  • bap_primus
    • Bap_primus
      • Std
        • Primus
          • Analysis
            • Collection
              • Delay
                • T
              • Eager
                • T
              • S
            • Exn
            • Fn
            • Global
            • Id
              • Hash_queue
              • Hash_set
                • Provide_bin_io
                  • X
                • Provide_of_sexp
                  • X
              • Map
                • Key
                • Provide_bin_io
                  • Key
                • Provide_hash
                  • Key
                • Provide_of_sexp
                  • Key
                • Tree
                  • Provide_of_sexp
                    • K
              • Replace_polymorphic_compare
              • Set
                • Elt
                • Named
                • Provide_bin_io
                  • Elt
                • Provide_hash
                  • Elt
                • Provide_of_sexp
                  • Elt
                • Tree
                  • Named
                  • Provide_of_sexp
                    • Elt
              • Table
                • Provide_bin_io
                  • Key
                • Provide_of_sexp
                  • Key
            • Let
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Lift
            • List
            • Local
            • Monad_infix
            • Observation
            • Other
            • Pair
            • Seq
            • Syntax
            • Triple
          • Components
          • Env
            • Make
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
          • Exn
          • Generator
            • Make
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Random
              • Seeded
          • Info
          • Interpreter
            • Make
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
          • Iterator
            • Base
            • Finite
            • Infinite
          • Job
          • Jobs
          • Linker
            • Code
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Make
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Name
              • Cache
              • Hash_queue
              • Hash_set
                • Provide_bin_io
                  • X
                • Provide_of_sexp
                  • X
              • Io
              • Map
                • Key
                • Provide_bin_io
                  • Key
                • Provide_hash
                  • Key
                • Provide_of_sexp
                  • Key
                • Tree
                  • Provide_of_sexp
                    • K
              • Replace_polymorphic_compare
              • Set
                • Elt
                • Named
                • Provide_bin_io
                  • Elt
                • Provide_hash
                  • Elt
                • Provide_of_sexp
                  • Elt
                • Tree
                  • Named
                  • Provide_of_sexp
                    • Elt
              • Table
                • Provide_bin_io
                  • Key
                • Provide_of_sexp
                  • Key
            • Trace
          • Lisp
            • Attribute
              • Parse
              • Set
            • Closure
              • Make
                • Machine
                  • Collection
                    • Delay
                      • T
                    • Eager
                      • T
                    • S
                  • Exn
                  • Fn
                  • Global
                  • Id
                    • Hash_queue
                    • Hash_set
                      • Provide_bin_io
                        • X
                      • Provide_of_sexp
                        • X
                    • Map
                      • Key
                      • Provide_bin_io
                        • Key
                      • Provide_hash
                        • Key
                      • Provide_of_sexp
                        • Key
                      • Tree
                        • Provide_of_sexp
                          • K
                    • Replace_polymorphic_compare
                    • Set
                      • Elt
                      • Named
                      • Provide_bin_io
                        • Elt
                      • Provide_hash
                        • Elt
                      • Provide_of_sexp
                        • Elt
                      • Tree
                        • Named
                        • Provide_of_sexp
                          • Elt
                    • Table
                      • Provide_bin_io
                        • Key
                      • Provide_of_sexp
                        • Key
                  • Let
                  • Let_syntax
                    • Let_syntax
                      • Open_on_rhs
                  • Lift
                  • List
                  • Local
                  • Monad_infix
                  • Observation
                  • Other
                  • Pair
                  • Seq
                  • Syntax
                  • Triple
              • S
                • Machine
                  • Collection
                    • Delay
                      • T
                    • Eager
                      • T
                    • S
                  • Exn
                  • Fn
                  • Global
                  • Id
                    • Hash_queue
                    • Hash_set
                      • Provide_bin_io
                        • X
                      • Provide_of_sexp
                        • X
                    • Map
                      • Key
                      • Provide_bin_io
                        • Key
                      • Provide_hash
                        • Key
                      • Provide_of_sexp
                        • Key
                      • Tree
                        • Provide_of_sexp
                          • K
                    • Replace_polymorphic_compare
                    • Set
                      • Elt
                      • Named
                      • Provide_bin_io
                        • Elt
                      • Provide_hash
                        • Elt
                      • Provide_of_sexp
                        • Elt
                      • Tree
                        • Named
                        • Provide_of_sexp
                          • Elt
                    • Table
                      • Provide_bin_io
                        • Key
                      • Provide_of_sexp
                        • Key
                  • Let
                  • Let_syntax
                    • Let_syntax
                      • Open_on_rhs
                  • Lift
                  • List
                  • Local
                  • Monad_infix
                  • Observation
                  • Other
                  • Pair
                  • Seq
                  • Syntax
                  • Triple
            • Context
            • Doc
              • Category
              • Descr
              • Element
              • Make
                • Machine
                  • Collection
                    • Delay
                      • T
                    • Eager
                      • T
                    • S
                  • Exn
                  • Fn
                  • Global
                  • Id
                    • Hash_queue
                    • Hash_set
                      • Provide_bin_io
                        • X
                      • Provide_of_sexp
                        • X
                    • Map
                      • Key
                      • Provide_bin_io
                        • Key
                      • Provide_hash
                        • Key
                      • Provide_of_sexp
                        • Key
                      • Tree
                        • Provide_of_sexp
                          • K
                    • Replace_polymorphic_compare
                    • Set
                      • Elt
                      • Named
                      • Provide_bin_io
                        • Elt
                      • Provide_hash
                        • Elt
                      • Provide_of_sexp
                        • Elt
                      • Tree
                        • Named
                        • Provide_of_sexp
                          • Elt
                    • Table
                      • Provide_bin_io
                        • Key
                      • Provide_of_sexp
                        • Key
                  • Let
                  • Let_syntax
                    • Let_syntax
                      • Open_on_rhs
                  • Lift
                  • List
                  • Local
                  • Monad_infix
                  • Observation
                  • Other
                  • Pair
                  • Seq
                  • Syntax
                  • Triple
            • Load
            • Make
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Message
            • Primitive
            • Primitives
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Semantics
              • Effect
              • Value
            • Type
              • Spec
            • Unit
          • Machine
            • Component
              • Machine
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Main
              • M
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Global
                • Id
                  • Hash_queue
                  • Hash_set
                    • Provide_bin_io
                      • X
                    • Provide_of_sexp
                      • X
                  • Map
                    • Key
                    • Provide_bin_io
                      • Key
                    • Provide_hash
                      • Key
                    • Provide_of_sexp
                      • Key
                    • Tree
                      • Provide_of_sexp
                        • K
                  • Replace_polymorphic_compare
                  • Set
                    • Elt
                    • Named
                    • Provide_bin_io
                      • Elt
                    • Provide_hash
                      • Elt
                    • Provide_of_sexp
                      • Elt
                    • Tree
                      • Named
                      • Provide_of_sexp
                        • Elt
                  • Table
                    • Provide_bin_io
                      • Key
                    • Provide_of_sexp
                      • Key
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Local
                • Monad_infix
                • Observation
                • Other
                • Pair
                • Seq
                • Syntax
                • Triple
            • Make
              • Collection
                • Delay
                  • T
                • Eager
                  • T
                • S
              • Exn
              • Fn
              • Global
              • Id
                • Hash_queue
                • Hash_set
                  • Provide_bin_io
                    • X
                  • Provide_of_sexp
                    • X
                • Map
                  • Key
                  • Provide_bin_io
                    • Key
                  • Provide_hash
                    • Key
                  • Provide_of_sexp
                    • Key
                  • Tree
                    • Provide_of_sexp
                      • K
                • Replace_polymorphic_compare
                • Set
                  • Elt
                  • Named
                  • Provide_bin_io
                    • Elt
                  • Provide_hash
                    • Elt
                  • Provide_of_sexp
                    • Elt
                  • Tree
                    • Named
                    • Provide_of_sexp
                      • Elt
                • Table
                  • Provide_bin_io
                    • Key
                  • Provide_of_sexp
                    • Key
              • Let
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Lift
              • List
              • Local
              • M
                • Collection
                  • Delay
                    • T
                  • Eager
                    • T
                  • S
                • Exn
                • Fn
                • Let
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Lift
                • List
                • Monad_infix
                • Pair
                • Seq
                • Syntax
                • Triple
              • Monad_infix
              • Observation
              • Other
              • Pair
              • Seq
              • Syntax
              • Triple
            • S
              • Collection
                • Delay
                  • T
                • Eager
                  • T
                • S
              • Exn
              • Fn
              • Global
              • Id
                • Hash_queue
                • Hash_set
                  • Provide_bin_io
                    • X
                  • Provide_of_sexp
                    • X
                • Map
                  • Key
                  • Provide_bin_io
                    • Key
                  • Provide_hash
                    • Key
                  • Provide_of_sexp
                    • Key
                  • Tree
                    • Provide_of_sexp
                      • K
                • Replace_polymorphic_compare
                • Set
                  • Elt
                  • Named
                  • Provide_bin_io
                    • Elt
                  • Provide_hash
                    • Elt
                  • Provide_of_sexp
                    • Elt
                  • Tree
                    • Named
                    • Provide_of_sexp