package p4spectec

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

Module Backend_testgen_neg.QuerySource

Sourceval setup_signal_handler : t -> unit
Sourceval init : string -> t
Sourceval query : t -> string -> unit
Sourceval answer : t -> string -> unit
Sourceval close : t -> unit