package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Exploration.PathsSource

Sourcetype t =
  1. | Total
  2. | Pending
  3. | Completed
  4. | Discontinued
Sourceval get : t -> int
Sourceval status : status -> int
Sourceval incr : unit -> unit
Sourceval resume : unit -> unit
Sourceval signal : status -> unit