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.lang/Lang/Pl/Print/index.html

Module Pl.Print

val string_of_num : [< `Int of Bigint.t | `Nat of Bigint.t ] -> string
val string_of_text : 'a -> 'a
val string_of_varid : ('a, 'b, 'c) Util.Source.info -> 'a
val string_of_typid : ('a, 'b, 'c) Util.Source.info -> 'a
val string_of_relid : ('a, 'b, 'c) Util.Source.info -> 'a
val string_of_relpathid : ('a, 'b, 'c) Util.Source.info -> 'a
val string_of_defid : (string, 'a, 'b) Util.Source.info -> string
val string_of_atom : (Domain.Atom.t, 'a, 'b) Util.Source.info -> Domain.Atom.upid
val string_of_atoms : (Domain.Atom.t, 'a, 'b) Util.Source.info list -> string
val string_of_mixop : 'a Lang.Il.Print.Mixfix.t -> string
val string_of_iter : Lang__Il__.Ast.iter -> string
val string_of_iterexp : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> string
val string_of_iterexps : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> string
val string_of_iterated : ('a -> string) -> 'a -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> string
val string_of_var : ((string, 'a, 'b) Util.Source.info * 'c * Lang__Il__.Ast.iter list) -> string
val string_of_typ : (Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info -> string
val string_of_typs : string -> (Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info list -> string
val string_of_nottyp : ((Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info Lang.Il.Print.Mixfix.t, unit, Util.Source.region) Util.Source.info -> string
val string_of_deftyp : (Lang__Il__.Ast.deftyp', 'a, 'b) Util.Source.info -> string
val string_of_typfield : (Domain.Atom.t Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase) -> string
val string_of_typfields : string -> (Domain.Atom.t Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase) list -> string
val string_of_typcase : (Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase list) Util.Source.phrase * El.hint list) -> string
val string_of_typcases : string -> (Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase list) Util.Source.phrase * El.hint list) list -> string
val string_of_vid : int -> string
val string_of_value : ?short:??? -> ?level:??? -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote, Util.Source.region) Util.Source.info -> string
val string_of_unop : [ Xl.Bool.unop | Xl.Num.unop ] -> string
val string_of_binop : [ Xl.Bool.binop | Xl.Num.binop ] -> string
val string_of_cmpop : [ Xl.Bool.cmpop | Xl.Num.cmpop ] -> string
val string_of_exp : (Lang__Pl__.Ast.exp', Sl.typ', Util.Source.region) Util.Source.info Annot.t -> Il.id'
val string_of_exps : string -> (Lang__Pl__.Ast.exp', Sl.typ', Util.Source.region) Util.Source.info Annot.t list -> string
val string_of_notexp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t Domain.Mixfix.t -> string
val string_of_pattern : Sl.pattern -> string
val string_of_path : (Lang__Pl__.Ast.path', Sl.typ') Util.Source.note_phrase -> Domain.Atom.upid
val string_of_param : (Lang__Pl__.Ast.param', unit, Util.Source.region) Util.Source.info -> Il.id'
val string_of_params : Lang__Pl__.Ast.param' Util.Source.phrase list -> string
val string_of_tparam : (string, unit, Util.Source.region) Util.Source.info -> string
val string_of_tparams : string Util.Source.phrase list -> string
val string_of_arg : (Lang__Pl__.Ast.arg', unit, Util.Source.region) Util.Source.info -> Il.id'
val string_of_args : Lang__Pl__.Ast.arg' Util.Source.phrase list -> string
val string_of_targ : (Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info -> string
val string_of_targs : Lang__Il__.Ast.typ' Util.Source.phrase list -> string
val string_of_dangle : Sl.iid -> string
val string_of_case : ?level:??? -> ?index:??? -> (?short:??? -> ?level:??? -> ?index:??? -> 'instr_tier -> string) -> (Lang__Pl__.Ast.guard * ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) -> string
val string_of_cases : ?level:??? -> (?short:??? -> ?level:??? -> ?index:??? -> 'instr_tier -> string) -> (Lang__Pl__.Ast.guard * ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) list -> string
val string_of_guard : Lang__Pl__.Ast.guard -> string
val string_of_instr : ?short:??? -> ?level:??? -> ?index:??? -> (?short:??? -> ?level:??? -> ?index:??? -> 'instr_tier -> string) -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> string
val string_of_block : ?level:??? -> ?index:??? -> (?short:??? -> ?level:??? -> ?index:??? -> 'instr_tier -> string) -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> string
val string_of_elseblock : ?level:??? -> ?index:??? -> (?short:??? -> ?level:??? -> ?index:??? -> 'instr_tier -> string) -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> string
val string_of_elseblock_opt : ?level:??? -> ?index:??? -> (?short:??? -> ?level:??? -> ?index:??? -> 'instr_tier -> string) -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option -> string
val string_of_iterinstr : Sl.iterinstr -> string
val string_of_iterinstrs : Sl.iterinstr list -> string
val string_of_relinput : Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ', Util.Source.region) Util.Source.info Annot.t list -> string
val string_of_reloutput : (('a Domain.Mixfix.t, 'b, 'c) Util.Source.info * int list) -> (Lang__Pl__.Ast.exp', Sl.typ', Util.Source.region) Util.Source.info Annot.t list -> string
val string_of_extern_rel : (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list) -> string
val string_of_instr_group : ?short:??? -> ?level:??? -> ?index:??? -> Lang__Pl__.Ast.instr_group -> string
val string_of_block_group : ?level:??? -> ?index:??? -> (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> string
val string_of_instr_dispatch : ?short:??? -> ?level:??? -> ?index:??? -> Lang__Pl__.Ast.instr_dispatch -> string
val string_of_block_dispatch : ?level:??? -> ?index:??? -> (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> string
val string_of_defined_rel : (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> string
val string_of_extern_func : (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ) -> string
val string_of_builtin_func : (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ) -> string
val string_of_tablerow : ((Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) -> string
val string_of_tablerows : ((Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) list -> string
val string_of_table_func : (Sl.id * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ * ((Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) list) -> string
val string_of_defined_func : (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> string
val string_of_def : (Lang__Pl__.Ast.def', 'a, 'b) Util.Source.info Annot.t -> string
val string_of_defs : (Lang__Pl__.Ast.def', 'a, 'b) Util.Source.info Annot.t list -> string
val string_of_spec : (Lang__Pl__.Ast.def', 'a, 'b) Util.Source.info Annot.t list -> string