package p4spectec

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

Module Backend_testgen_neg.LoggerSource

Sourceval setup_signal_handler : out_channel -> unit
Sourceval init : string -> t
Sourceval log : Modes.logmode -> t -> string -> unit
Sourceval mark : Modes.logmode -> t -> string -> unit
Sourceval warn : Modes.logmode -> t -> string -> unit
Sourceval close : t -> unit