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

Module `Structure.Antiunify`

module Mixfix = Domain.Mixfix

module UEnv : sig ... end

val populate_exp_template : 
  UEnv.t ->
  Lang.Al.exp ->
  Lang.Al.exp ->
  Lang.Al.prem list

val populate_exps_templates : 
  UEnv.t ->
  Lang.Al.exp list ->
  Lang.Al.exp list ->
  Lang.Al.prem list

val antiunify_exp : 
  Domain.Lib.IdSet.t ->
  UEnv.t ->
  Lang.Al.exp ->
  Lang.Al.exp ->
  Domain.Lib.IdSet.t * UEnv.t * Lang.Al.exp

val antiunify_exps : 
  Domain.Lib.IdSet.t ->
  UEnv.t ->
  Lang.Al.exp list ->
  Lang.Al.exp list ->
  Domain.Lib.IdSet.t * UEnv.t * Lang.Il.exp list

val antiunify_exp_group : 
  Domain.Lib.IdSet.t ->
  Lang.Al.exp list ->
  Domain.Lib.IdSet.t * UEnv.t * Lang.Al.exp

val antiunify_exps_group : 
  Domain.Lib.IdSet.t ->
  Lang.Al.exp list list ->
  UEnv.t * Lang.Al.exp list

val populate_arg_template : 
  UEnv.t ->
  Lang.Al.arg ->
  Lang.Al.arg ->
  Lang.Al.prem list

val populate_args_templates : 
  UEnv.t ->
  Lang.Al.arg list ->
  Lang.Al.arg list ->
  Lang.Al.prem list

val antiunify_arg : 
  Domain.Lib.IdSet.t ->
  UEnv.t ->
  Lang.Al.arg ->
  Lang.Al.arg ->
  Domain.Lib.IdSet.t * UEnv.t * Lang.Al.arg

val antiunify_arg_group : 
  Domain.Lib.IdSet.t ->
  Lang.Al.arg list ->
  Domain.Lib.IdSet.t * UEnv.t * Lang.Al.arg

val antiunify_args_group : 
  Domain.Lib.IdSet.t ->
  Lang.Al.arg list list ->
  UEnv.t * Lang.Al.arg list

val antiunify_rule_match_group : 
  Domain.Lib.IdSet.t ->
  Lang.Al.exp list list ->
  Lang.Al.exp list option ->
  Lang.Al.exp list * Lang.Al.prem list list * Lang.Al.prem list option

val antiunify_clauses : 
  Lang.Al.clause list ->
  Lang.Al.clause option ->
  Lang.Al.arg list
  * (Lang.Al.prem list * Lang.Al.exp) list
  * (Lang.Al.prem list * Lang.Al.exp) option