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/Sl/Print/index.html

Module Sl.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_exps : string -> (Il.exp', Il.typ', Util.Source.region) Util.Source.info list -> string
val string_of_notexp : Il.notexp -> string
val string_of_pattern : Il.pattern -> string
val string_of_path : Il.path -> Domain.Atom.upid
val string_of_param : (Lang__Sl__.Ast.param', unit, Util.Source.region) Util.Source.info -> Il.id'
val string_of_params : Lang__Sl__.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 : (Il.arg', unit, Util.Source.region) Util.Source.info -> Il.id'
val string_of_args : Il.arg 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 : int -> string
val string_of_case : ?level:??? -> ?index:??? -> (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) -> string
val string_of_cases : ?level:??? -> (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list -> string
val string_of_guard : Lang__Sl__.Ast.guard -> string
val string_of_instr : ?short:??? -> ?level:??? -> ?index:??? -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote, Util.Source.region) Util.Source.info -> string
val string_of_block : ?level:??? -> ?index:??? -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> string
val string_of_elseblock : ?level:??? -> ?index:??? -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> string
val string_of_elseblock_opt : ?level:??? -> ?index:??? -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option -> string
val string_of_iterinstr : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> string
val string_of_iterinstrs : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> string
val string_of_relinput : (Il.nottyp * Hints.Input.t) -> Il.exp list -> string
val string_of_reloutput : (Il.nottyp * Hints.Input.t) -> Il.exp list -> string
val string_of_extern_rel : ((string, 'a, 'b) Util.Source.info * (Il.nottyp * Hints.Input.t) * Il.exp list * 'c) -> string
val string_of_defined_rel : ((string, 'a, 'b) Util.Source.info * (Il.nottyp * Hints.Input.t) * Il.exp list * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option * 'c) -> string
val string_of_extern_func : ((string, 'a, 'b) Util.Source.info * string Util.Source.phrase list * Lang__Sl__.Ast.param' Util.Source.phrase list * 'c * 'd) -> string
val string_of_builtin_func : ((string, 'a, 'b) Util.Source.info * string Util.Source.phrase list * Lang__Sl__.Ast.param' Util.Source.phrase list * 'c * 'd) -> string
val string_of_tablerow : (Il.exp list * Il.exp * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) -> string
val string_of_tablerows : (Il.exp list * Il.exp * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list -> string
val string_of_table_func : (Il.id * Lang__Sl__.Ast.param' Util.Source.phrase list * Il.typ * (Il.exp list * Il.exp * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list * El.hint list) -> string
val string_of_defined_func : (Il.id * Il.tparam list * Lang__Sl__.Ast.param' Util.Source.phrase list * Il.typ * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option * El.hint list) -> string
val string_of_def : (Lang__Sl__.Ast.def', 'a, 'b) Util.Source.info -> string
val string_of_defs : (Lang__Sl__.Ast.def', 'a, 'b) Util.Source.info list -> string
val string_of_spec : (Lang__Sl__.Ast.def', 'a, 'b) Util.Source.info list -> string