package p4spectec
P4-SpecTec: A mechanization toolchain for the P4 Programming Language
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714
doc/p4spectec.pass/Pass/Elaborate/Dimension/index.html
Module Elaborate.Dimension
module Mixfix = Domain.Mixfixmodule Dimctx : sig ... endval infer_exp : Dimctx.t -> Lang.Il.exp -> Lang.Il.iter list -> Dimctx.tval infer_exps : Dimctx.t -> Lang.Il.exp list -> Lang.Il.iter list -> Dimctx.tval infer_notexp : Dimctx.t -> Lang.Il.notexp -> Lang.Il.iter list -> Dimctx.tval infer_path : Dimctx.t -> Lang.Il.path -> Lang.Il.iter list -> Dimctx.tval infer_arg : Dimctx.t -> Lang.Il.arg -> Lang.Il.iter list -> Dimctx.tval infer_args : Dimctx.t -> Lang.Il.arg list -> Lang.Il.iter list -> Dimctx.tval infer_prem : Dimctx.t -> Lang.Il.prem -> Lang.Il.iter list -> Dimctx.tval infer_prems : Dimctx.t -> Lang.Il.prem list -> Dimctx.tval infer_rule : Lang.Il.rule -> Dimctx.tval infer_clause : Lang.Il.clause -> Dimctx.tval infer_tablerow : Lang.Il.tablerow -> Dimctx.tval singleton :
Runtime.Static.Envs.VEnv.key ->
'a ->
('a * 'b list) Stdlib__Map.Make(Domain__Lib.Id).tval union :
Runtime.Static.Envs.VEnv.t ->
Runtime.Static.Envs.VEnv.t ->
Runtime.Static.Envs.VEnv.tval iterate :
Runtime.Static.Envs.VEnv.t ->
(Lang.Il.id * Lang.Il.typ * Lang.Il.iter list) list ->
Lang.Il.iter ->
Runtime.Static.Envs.VEnv.tval collect_itervars :
Runtime.Static.Envs.VEnv.t ->
Runtime.Static.Envs.VEnv.t ->
Lang.Il.iter ->
(Lang.Il.id * Lang.Il.typ * Lang.Il.iter list) listval annotate_exp :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.exp ->
Runtime.Static.Envs.VEnv.t * Lang.Il.expval annotate_exps :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.exp list ->
Runtime.Static.Envs.VEnv.t * Lang.Il.exp listval annotate_notexp :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.notexp ->
Runtime.Static.Envs.VEnv.t * Lang.Il.notexpval annotate_path :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.path ->
Runtime.Static.Envs.VEnv.t * Lang.Il.pathval annotate_arg :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.arg ->
Runtime.Static.Envs.VEnv.t * Lang.Il.argval annotate_args :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.arg list ->
Runtime.Static.Envs.VEnv.t * Lang.Il.arg listval annotate_prem :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.prem ->
Runtime.Static.Envs.VEnv.t * Lang.Il.premval annotate_prems :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.prem list ->
Runtime.Static.Envs.VEnv.t * Lang.Il.prem listval annotate_rule : Runtime.Static.Envs.VEnv.t -> Lang.Il.rule -> Lang.Il.ruleval annotate_clause :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.clause ->
Lang.Il.clauseval annotate_tablerow :
Runtime.Static.Envs.VEnv.t ->
Lang.Il.tablerow ->
Lang.Il.tablerowval analyze_rule : Lang.Il.rule -> Lang.Il.ruleval analyze_rulegroup : Lang.Il.rulegroup -> Lang.Il.rulegroupval analyze_elsegroup : Lang.Il.elsegroup -> Lang.Il.elsegroupval analyze_tablerow : Lang.Il.tablerow -> Lang.Il.tablerowval analyze_clause : Lang.Il.clause -> Lang.Il.clauseval analyze_def : Lang.Il.def -> Lang.Il.defval analyze_spec : Lang.Il.spec -> Lang.Il.spec