package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Instr.Log`Source

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

val log_elseblock : 
  ?level:??? ->
  ?index:??? ->
  Multi.t ->
  Lang.Sl.elseblock ->
  string

val 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