package magic-trace

  1. Overview
  2. Docs
package magic-trace
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Low
  2. | Normal
  3. | High
  4. | Custom of {
    1. cyc : bool option;
    2. cyc_thresh : int option;
    3. mtc : bool option;
    4. mtc_period : int option;
    5. noretcomp : bool option;
    6. psb_period : int option;
    }
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t