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/Il/Eq/index.html

Module Il.Eq

val eq_id : string Util.Source.phrase -> string Util.Source.phrase -> bool
val eq_mixop : Domain.Mixfix.mixop -> Domain.Mixfix.mixop -> bool
val eq_iter : Lang__Il__.Ast.iter -> Lang__Il__.Ast.iter -> bool
val eq_iters : Lang__Il__.Ast.iter list -> Lang__Il__.Ast.iter list -> bool
val eq_var : (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) -> (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) -> bool
val eq_vars : (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 -> bool
val eq_typ : Lang__Il__.Ast.typ' Util.Source.phrase -> Lang__Il__.Ast.typ' Util.Source.phrase -> bool
val eq_typs : Lang__Il__.Ast.typ' Util.Source.phrase list -> Lang__Il__.Ast.typ' Util.Source.phrase list -> bool
val eq_nottyp : Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase -> Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase -> bool
val eq_value : ?dbg:??? -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase -> bool
val eq_values : ?dbg:??? -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase list -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase list -> bool
val eq_exp : (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase -> (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase -> bool
val eq_exp' : Lang__Il__.Ast.exp' -> Lang__Il__.Ast.exp' -> bool
val eq_exps : (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase list -> (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase list -> bool
val eq_iterexp : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> bool
val eq_iterexps : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> bool
val eq_pattern : Lang__Il__.Ast.pattern -> Lang__Il__.Ast.pattern -> bool
val eq_path : (Lang__Il__.Ast.path', Lang__Il__.Ast.typ') Util.Source.note_phrase -> (Lang__Il__.Ast.path', Lang__Il__.Ast.typ') Util.Source.note_phrase -> bool
val eq_tparam : string Util.Source.phrase -> string Util.Source.phrase -> bool
val eq_tparams : string Util.Source.phrase list -> string Util.Source.phrase list -> bool
val eq_arg : Lang__Il__.Ast.arg' Util.Source.phrase -> Lang__Il__.Ast.arg' Util.Source.phrase -> bool
val eq_args : Lang__Il__.Ast.arg' Util.Source.phrase list -> Lang__Il__.Ast.arg' Util.Source.phrase list -> bool
val eq_targ : Lang__Il__.Ast.typ' Util.Source.phrase -> Lang__Il__.Ast.typ' Util.Source.phrase -> bool
val eq_targs : Lang__Il__.Ast.typ' Util.Source.phrase list -> Lang__Il__.Ast.typ' Util.Source.phrase list -> bool
val eq_prem : Lang__Il__.Ast.prem' Util.Source.phrase -> Lang__Il__.Ast.prem' Util.Source.phrase -> bool
val eq_iterprem : (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) -> (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) -> bool
val eq_iterprems : (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 -> (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 -> bool