package dscheck

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dscheck.Trace_tracker`Source

Sourcetype t

Sourceval add_trace : (int * Atomic_op.t * int option) list -> unit

Sourceval clear_traces : unit -> unit

Sourceval get_traces : unit -> t

Sourceval print_traces : out_channel -> unit

Sourceval print : t -> out_channel -> unit

Sourceval equal : t -> t -> bool

Sourceval get_deps_str : t -> string

Sourceval subset : t -> t -> bool

Sourceval count : t -> int