package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4spectec.stf/Stf/Print/index.html

Module Stf.PrintSource

Sourcemodule F = Format
Sourceval convert_dollar_to_brackets : string -> string
Sourceval pp_print_option : (F.formatter -> 'a -> unit) -> F.formatter -> 'a option -> unit
Sourceval print_int : F.formatter -> int -> unit
Sourceval print_string : F.formatter -> string -> unit
Sourceval print_quoted_string : F.formatter -> string -> unit
Sourceval print_name : F.formatter -> string -> unit
Sourceval print_id : F.formatter -> string -> unit
Sourceval print_number : F.formatter -> string -> unit
Sourceval print_session : F.formatter -> string -> unit
Sourceval print_port : F.formatter -> string -> unit
Sourceval print_exact : F.formatter -> bool -> unit
Sourceval print_packet : F.formatter -> string -> unit
Sourceval print_expect : F.formatter -> string -> unit
Sourceval print_arg : F.formatter -> (string * string) -> unit
Sourceval print_action : F.formatter -> (string * (string * string) list) -> unit
Sourceval print_mtchkind : F.formatter -> Ast.mtchkind -> unit
Sourceval print_mtch : F.formatter -> (string * Ast.mtchkind) -> unit
Sourceval print_id_or_index : F.formatter -> Ast.id_or_index -> unit
Sourceval print_cond : F.formatter -> Ast.cond -> unit
Sourceval print_ctr : F.formatter -> Ast.ctr -> unit
Sourceval print_stmt : F.formatter -> Ast.stmt -> unit
Sourceval print_stmts : F.formatter -> Ast.stmt list -> unit