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.lang/Lang/Al/Free/index.html

Module `Al.Free`

module Mixfix = Domain.Mixfix

type t = Domain.Lib.IdSet.t

val empty : Domain.Lib.IdSet.t

val singleton : Domain.Lib.IdSet.elt -> Domain.Lib.IdSet.t

val (+) : Domain.Lib.IdSet.t -> Domain.Lib.IdSet.t -> Domain.Lib.IdSet.t

val free_exp : Il.exp -> t

val free_exps : Il.exp list -> t

val free_path : Il.path -> t

val free_arg : Il.arg -> t

val free_args : Il.arg list -> t

val free_prem : Il.prem -> t

val free_prems : Il.prem list -> t

val free_rulematch : (Il.exp list * Il.exp list * Il.prem list) -> t

val free_rulepath : (Il.id * Il.prem list * Il.exp list) -> t

val free_rulepaths : (Il.id * Il.prem list * Il.exp list) list -> t

val free_rulegroup : 
  (Il.id
   * (Il.exp list * Il.exp list * Il.prem list)
   * (Il.id * Il.prem list * Il.exp list) list)
    Util.Source.phrase ->
  t

val free_rulegroups : 
  (Il.id
   * (Il.exp list * Il.exp list * Il.prem list)
   * (Il.id * Il.prem list * Il.exp list) list)
    Util.Source.phrase
    list ->
  t

val free_elsegroup : 
  (Il.id
   * (Il.exp list * Il.exp list * Il.prem list)
   * (Il.id * Il.prem list * Il.exp list))
    Util.Source.phrase ->
  t

val free_elsegroup_opt : 
  (Il.id
   * (Il.exp list * Il.exp list * Il.prem list)
   * (Il.id * Il.prem list * Il.exp list))
    Util.Source.phrase
    option ->
  t

val free_clause : Il.clause -> t

val free_clauses : Il.clause list -> t

val free_elseclause : Il.elseclause -> t

val free_elseclause_opt : Il.elseclause option -> t

val free_tablerow : 
  (Il.exp list * Il.arg list * Il.exp * Il.prem list) Util.Source.phrase ->
  t

val free_tablerows : 
  (Il.exp list * Il.arg list * Il.exp * Il.prem list) Util.Source.phrase list ->
  t

val free_def : Lang__Al__.Ast.def' Util.Source.phrase -> t