package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (2)

Authors

K

KAIST PLRG

Maintainers

9

99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz

md5=1a3bc0a385fe1ecf403c019f49aa6de6

sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4spectec.pass/Pass/Structure/Ol/Ast/index.html

Module `Ol.Ast`

include module type of struct include Lang.Sl end

type num = Lang.Il.num

val num_to_yojson : num -> Yojson.Safe.t

val num_of_yojson : Yojson.Safe.t -> num Ppx_deriving_yojson_runtime.error_or

type text = Lang.Il.text

val text_to_yojson : text -> Yojson.Safe.t

val text_of_yojson : Yojson.Safe.t -> text Ppx_deriving_yojson_runtime.error_or

type id = Lang.Il.id

val id_to_yojson : id -> Yojson.Safe.t

val id_of_yojson : Yojson.Safe.t -> id Ppx_deriving_yojson_runtime.error_or

type id' = Lang.Il.id'

type atom = Lang.Il.atom

val atom_to_yojson : atom -> Yojson.Safe.t

val atom_of_yojson : Yojson.Safe.t -> atom Ppx_deriving_yojson_runtime.error_or

type atom' = Lang.Il.atom'

type mixop = Lang.Il.mixop

val mixop_to_yojson : mixop -> Yojson.Safe.t

val mixop_of_yojson : 
  Yojson.Safe.t ->
  mixop Ppx_deriving_yojson_runtime.error_or

type iter = Lang.Il.iter

val iter_to_yojson : iter -> Yojson.Safe.t

val iter_of_yojson : Yojson.Safe.t -> iter Ppx_deriving_yojson_runtime.error_or

type var = Lang.Il.var

val var_to_yojson : var -> Yojson.Safe.t

val var_of_yojson : Yojson.Safe.t -> var Ppx_deriving_yojson_runtime.error_or

type typ = Lang.Il.typ

val typ_to_yojson : typ -> Yojson.Safe.t

val typ_of_yojson : Yojson.Safe.t -> typ Ppx_deriving_yojson_runtime.error_or

type typ' = Lang.Il.typ'

type nottyp = Lang.Il.nottyp

val nottyp_to_yojson : nottyp -> Yojson.Safe.t

val nottyp_of_yojson : 
  Yojson.Safe.t ->
  nottyp Ppx_deriving_yojson_runtime.error_or

type nottyp' = Lang.Il.nottyp'

type deftyp = Lang.Il.deftyp

val deftyp_to_yojson : deftyp -> Yojson.Safe.t

val deftyp_of_yojson : 
  Yojson.Safe.t ->
  deftyp Ppx_deriving_yojson_runtime.error_or

type deftyp' = Lang.Il.deftyp'

type typfield = Lang.Il.typfield

val typfield_to_yojson : typfield -> Yojson.Safe.t

val typfield_of_yojson : 
  Yojson.Safe.t ->
  typfield Ppx_deriving_yojson_runtime.error_or

type typcase = Lang.Il.typcase

val typcase_to_yojson : typcase -> Yojson.Safe.t

val typcase_of_yojson : 
  Yojson.Safe.t ->
  typcase Ppx_deriving_yojson_runtime.error_or

type vid = Lang.Il.vid

type vnote = Lang.Il.vnote

type value = Lang.Il.value

val value_to_yojson : value -> Yojson.Safe.t

val value_of_yojson : 
  Yojson.Safe.t ->
  value Ppx_deriving_yojson_runtime.error_or

type value' = Lang.Il.value'

type valuefield = Lang.Il.valuefield

val valuefield_to_yojson : valuefield -> Yojson.Safe.t

val valuefield_of_yojson : 
  Yojson.Safe.t ->
  valuefield Ppx_deriving_yojson_runtime.error_or

type valuecase = Lang.Il.valuecase

val valuecase_to_yojson : valuecase -> Yojson.Safe.t

val valuecase_of_yojson : 
  Yojson.Safe.t ->
  valuecase Ppx_deriving_yojson_runtime.error_or

type numop = Lang.Il.numop

val numop_to_yojson : numop -> Yojson.Safe.t

val numop_of_yojson : 
  Yojson.Safe.t ->
  numop Ppx_deriving_yojson_runtime.error_or

type unop = Lang.Il.unop

val unop_to_yojson : unop -> Yojson.Safe.t

val unop_of_yojson : Yojson.Safe.t -> unop Ppx_deriving_yojson_runtime.error_or

type binop = Lang.Il.binop

val binop_to_yojson : binop -> Yojson.Safe.t

val binop_of_yojson : 
  Yojson.Safe.t ->
  binop Ppx_deriving_yojson_runtime.error_or

type cmpop = Lang.Il.cmpop

val cmpop_to_yojson : cmpop -> Yojson.Safe.t

val cmpop_of_yojson : 
  Yojson.Safe.t ->
  cmpop Ppx_deriving_yojson_runtime.error_or

type optyp = Lang.Il.optyp

val optyp_to_yojson : optyp -> Yojson.Safe.t

val optyp_of_yojson : 
  Yojson.Safe.t ->
  optyp Ppx_deriving_yojson_runtime.error_or

type exp = Lang.Il.exp

val exp_to_yojson : exp -> Yojson.Safe.t

val exp_of_yojson : Yojson.Safe.t -> exp Ppx_deriving_yojson_runtime.error_or

type exp' = Lang.Il.exp'

type notexp = Lang.Il.notexp

val notexp_to_yojson : notexp -> Yojson.Safe.t

val notexp_of_yojson : 
  Yojson.Safe.t ->
  notexp Ppx_deriving_yojson_runtime.error_or

type iterexp = Lang.Il.iterexp

val iterexp_to_yojson : iterexp -> Yojson.Safe.t

val iterexp_of_yojson : 
  Yojson.Safe.t ->
  iterexp Ppx_deriving_yojson_runtime.error_or

type pattern = Lang.Il.pattern

val pattern_to_yojson : pattern -> Yojson.Safe.t

val pattern_of_yojson : 
  Yojson.Safe.t ->
  pattern Ppx_deriving_yojson_runtime.error_or

type path = Lang.Il.path

val path_to_yojson : path -> Yojson.Safe.t

val path_of_yojson : Yojson.Safe.t -> path Ppx_deriving_yojson_runtime.error_or

type path' = Lang.Il.path'

type tparam = Lang.Il.tparam

val tparam_to_yojson : tparam -> Yojson.Safe.t

val tparam_of_yojson : 
  Yojson.Safe.t ->
  tparam Ppx_deriving_yojson_runtime.error_or

type tparam' = Lang.Il.tparam'

type param = param' Util.Source.phrase

and param' =

| ExpP of typ * exp
| DefP of id * tparam list * param list * typ

val param_to_yojson : param -> Yojson.Safe.t

val param_of_yojson : 
  Yojson.Safe.t ->
  param Ppx_deriving_yojson_runtime.error_or

val param'_to_yojson : param' -> Yojson.Safe.t

val param'_of_yojson : 
  Yojson.Safe.t ->
  param' Ppx_deriving_yojson_runtime.error_or

type targ = Lang.Il.targ

val targ_to_yojson : targ -> Yojson.Safe.t

val targ_of_yojson : Yojson.Safe.t -> targ Ppx_deriving_yojson_runtime.error_or

type targ' = Lang.Il.targ'

type arg = Lang.Il.arg

val arg_to_yojson : arg -> Yojson.Safe.t

val arg_of_yojson : Yojson.Safe.t -> arg Ppx_deriving_yojson_runtime.error_or

type arg' = Lang.Il.arg'

and dangle = bool

and holdcase =

| BothH of (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list
| HoldH of (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list * dangle
| NotHoldH of (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list * dangle

and iid = int

and inote = {

iid : iid;

}

and iterinstr = Lang.Il.iterprem

and hint = Lang.El.hint

and rel_signature = nottyp * Lang.Hints.Input.t

val arg'_to_yojson : arg' -> Yojson.Safe.t

val arg'_of_yojson : Yojson.Safe.t -> arg' Ppx_deriving_yojson_runtime.error_or

val dangle_to_yojson : dangle -> Yojson.Safe.t

val dangle_of_yojson : 
  Yojson.Safe.t ->
  dangle Ppx_deriving_yojson_runtime.error_or

val holdcase_to_yojson : holdcase -> Yojson.Safe.t

val holdcase_of_yojson : 
  Yojson.Safe.t ->
  holdcase Ppx_deriving_yojson_runtime.error_or

val case_to_yojson : 
  (Lang__Sl__.Ast.guard
   * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list) ->
  Yojson.Safe.t

val case_of_yojson : 
  Yojson.Safe.t ->
  (Lang__Sl__.Ast.guard
   * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list)
    Ppx_deriving_yojson_runtime.error_or

val guard_to_yojson : Lang__Sl__.Ast.guard -> Yojson.Safe.t

val guard_of_yojson : 
  Yojson.Safe.t ->
  Lang__Sl__.Ast.guard Ppx_deriving_yojson_runtime.error_or

val iid_to_yojson : iid -> Yojson.Safe.t

val iid_of_yojson : Yojson.Safe.t -> iid Ppx_deriving_yojson_runtime.error_or

val inote_to_yojson : inote -> Yojson.Safe.t

val inote_of_yojson : 
  Yojson.Safe.t ->
  inote Ppx_deriving_yojson_runtime.error_or

val instr_to_yojson : 
  (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase ->
  Yojson.Safe.t

val instr_of_yojson : 
  Yojson.Safe.t ->
  (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase
    Ppx_deriving_yojson_runtime.error_or

val instr'_to_yojson : Lang__Sl__.Ast.instr' -> Yojson.Safe.t

val instr'_of_yojson : 
  Yojson.Safe.t ->
  Lang__Sl__.Ast.instr' Ppx_deriving_yojson_runtime.error_or

val block_to_yojson : 
  (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list ->
  Yojson.Safe.t

val block_of_yojson : 
  Yojson.Safe.t ->
  (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list
    Ppx_deriving_yojson_runtime.error_or

val elseblock_to_yojson : 
  (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list ->
  Yojson.Safe.t

val elseblock_of_yojson : 
  Yojson.Safe.t ->
  (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list
    Ppx_deriving_yojson_runtime.error_or

val iterinstr_to_yojson : iterinstr -> Yojson.Safe.t

val iterinstr_of_yojson : 
  Yojson.Safe.t ->
  iterinstr Ppx_deriving_yojson_runtime.error_or

val hint_to_yojson : hint -> Yojson.Safe.t

val hint_of_yojson : Yojson.Safe.t -> hint Ppx_deriving_yojson_runtime.error_or

val rel_signature_to_yojson : rel_signature -> Yojson.Safe.t

val rel_signature_of_yojson : 
  Yojson.Safe.t ->
  rel_signature Ppx_deriving_yojson_runtime.error_or

type externrel = id * rel_signature * exp list * hint list

val externrel_to_yojson : externrel -> Yojson.Safe.t

val externrel_of_yojson : 
  Yojson.Safe.t ->
  externrel Ppx_deriving_yojson_runtime.error_or

type rel =
  id
  * rel_signature
  * exp list
  * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list
  * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list option
  * hint list

val rel_to_yojson : rel -> Yojson.Safe.t

val rel_of_yojson : Yojson.Safe.t -> rel Ppx_deriving_yojson_runtime.error_or

type externfunc = id * tparam list * param list * typ * hint list

val externfunc_to_yojson : externfunc -> Yojson.Safe.t

val externfunc_of_yojson : 
  Yojson.Safe.t ->
  externfunc Ppx_deriving_yojson_runtime.error_or

type builtinfunc = id * tparam list * param list * typ * hint list

val builtinfunc_to_yojson : builtinfunc -> Yojson.Safe.t

val builtinfunc_of_yojson : 
  Yojson.Safe.t ->
  builtinfunc Ppx_deriving_yojson_runtime.error_or

type tablerow =
  exp list * exp * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list

val tablerow_to_yojson : tablerow -> Yojson.Safe.t

val tablerow_of_yojson : 
  Yojson.Safe.t ->
  tablerow Ppx_deriving_yojson_runtime.error_or

type tablefunc = id * param list * typ * tablerow list * hint list

val tablefunc_to_yojson : tablefunc -> Yojson.Safe.t

val tablefunc_of_yojson : 
  Yojson.Safe.t ->
  tablefunc Ppx_deriving_yojson_runtime.error_or

type definedfunc =
  id
  * tparam list
  * param list
  * typ
  * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list
  * (Lang__Sl__.Ast.instr', inote) Util.Source.note_phrase list option
  * hint list

val definedfunc_to_yojson : definedfunc -> Yojson.Safe.t

val definedfunc_of_yojson : 
  Yojson.Safe.t ->
  definedfunc Ppx_deriving_yojson_runtime.error_or

type def = def' Util.Source.phrase

and def' =

| ExternTypD of id * hint list
| TypD of id * tparam list * deftyp * hint list
| VarD of id * typ * hint list
| ExternRelD of externrel
| RelD of rel
| ExternDecD of externfunc
| BuiltinDecD of builtinfunc
| TableDecD of tablefunc
| FuncDecD of definedfunc

val def_to_yojson : def -> Yojson.Safe.t

val def_of_yojson : Yojson.Safe.t -> def Ppx_deriving_yojson_runtime.error_or

val def'_to_yojson : def' -> Yojson.Safe.t

val def'_of_yojson : Yojson.Safe.t -> def' Ppx_deriving_yojson_runtime.error_or

type spec = def list

val spec_to_yojson : spec -> Yojson.Safe.t

val spec_of_yojson : Yojson.Safe.t -> spec Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> spec Ppx_deriving_yojson_runtime.error_or

module Eq = Lang.Sl.Eq

module Free = Lang.Sl.Free

module Print = Lang.Sl.Print

type case = guard * block

and guard =

| BoolG of bool
| CmpG of cmpop * optyp * exp
| SubG of typ
| MatchG of pattern
| MemG of exp

and instr = instr' Util.Source.phrase

and instr' =

| IfI of exp * iterexp list * block
| HoldI of id * notexp * iterexp list * block * block
| CaseI of exp * case list * bool
| GroupI of id * rel_signature * exp list * block
| LetI of exp * exp * iterinstr list * block
| RuleI of id * notexp * Lang.Hints.Input.t * iterinstr list * block
| ResultI of rel_signature * exp list
| ReturnI of exp
| DebugI of exp * instr

and block = instr list

and elseblock = block