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

Module Sl.Eq

module Mixfix = Domain.Mixfix
val eq_id : Il.id -> Il.id -> bool
val eq_atom : Il.atom -> Il.atom -> bool
val eq_atoms : Il.atom list -> Il.atom list -> bool
val eq_mixop : Il.mixop -> Il.mixop -> bool
val eq_iter : Il.iter -> Il.iter -> bool
val eq_iters : Il.iter list -> Il.iter list -> bool
val eq_var : Il.var -> Il.var -> bool
val eq_vars : Il.var list -> Il.var list -> bool
val eq_typ : Il.typ -> Il.typ -> bool
val eq_typs : Il.typ list -> Il.typ list -> bool
val eq_exp : Il.exp -> Il.exp -> bool
val eq_exps : Il.exp list -> Il.exp list -> bool
val eq_iterexp : Il.iterexp -> Il.iterexp -> bool
val eq_iterexps : Il.iterexp list -> Il.iterexp list -> bool
val eq_pattern : Il.pattern -> Il.pattern -> bool
val eq_path : Il.path -> Il.path -> bool
val eq_arg : Il.arg -> Il.arg -> bool
val eq_args : Il.arg list -> Il.arg list -> bool
val eq_targ : Il.targ -> Il.targ -> bool
val eq_targs : Il.targ list -> Il.targ list -> bool
val eq_holdcase : Lang__Sl__.Ast.holdcase -> Lang__Sl__.Ast.holdcase -> bool
val eq_case : (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) -> (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) -> bool
val eq_cases : (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list -> (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list -> bool
val eq_guard : Lang__Sl__.Ast.guard -> Lang__Sl__.Ast.guard -> bool
val eq_instr : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase -> bool
val eq_instrs : (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 -> bool
val eq_block : (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 -> bool
val eq_elseblock : (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 -> bool
val eq_elseblock_opt : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option -> bool
val eq_iterinstr : Il.iterprem -> Il.iterprem -> bool
val eq_iterinstrs : Il.iterprem list -> Il.iterprem list -> bool
val eq_rel_signature : (Il.nottyp * Hints.Input.t) -> (Il.nottyp * Hints.Input.t) -> bool