package p4spectec

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

Module Instr.LogSource

Sourceval log_case : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.case -> string
Sourceval log_cases : ?level:??? -> Multi.t -> Lang.Sl.case list -> string
Sourceval log_instr : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.instr -> string
Sourceval log_block : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.block -> string
Sourceval log_elseblock : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.elseblock -> string
Sourceval log_elseblock_opt : ?level:??? -> ?index:??? -> Multi.t -> Lang.Sl.elseblock option -> string
Sourceval log_defined_rel : Multi.t -> Lang.Sl.rel -> string
Sourceval log_tablerow : Multi.t -> Lang.Sl.tablerow -> string
Sourceval log_tablerows : Multi.t -> Lang.Sl.tablerow list -> string
Sourceval log_table_func : Multi.t -> Lang.Sl.tablefunc -> string
Sourceval log_defined_func : Multi.t -> Lang.Sl.definedfunc -> string
Sourceval log_def : Multi.t -> Lang.Sl.def -> string
Sourceval log_defs : Multi.t -> Lang.Sl.def list -> string
Sourceval log_spec : path_cov_opt:string option -> Multi.t -> Lang.Sl.spec -> unit