package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Unknown
type 'a test =
  1. | True of 'a
  2. | False of 'a
  3. | Both of {
    1. t : 'a;
    2. f : 'a;
    }
module type STATE = sig ... end
module type EXPLORATION_STATISTICS = sig ... end
module type QUERY_STATISTICS = sig ... end
module type STATE_FACTORY = functor (QS : QUERY_STATISTICS) -> STATE
module Pragma : sig ... end
module Script : sig ... end
module Path_state (S : STATE) : sig ... end
module type WORKLIST = sig ... end
module type WORKLIST_FACTORY = functor (E : Binsec.Sigs.ANY) -> WORKLIST with type elt := E.t