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/value/Value/Match/index.html
Module Value.MatchSource
module Mixfix = Domain.MixfixSource
val sub_ :
(Domain.Lib.TId.t -> Type.Typdef.t option) ->
(Domain.Lib.FId.t -> Lang.Il.tparam list * Lang.Il.typ list * Lang.Il.typ) ->
Lang.Il.typ ->
Lang.Il.value ->
boolSource
val subs_ :
(Domain.Lib.TId.t -> Type.Typdef.t option) ->
(Domain.Lib.FId.t -> Lang.Il.tparam list * Lang.Il.typ list * Lang.Il.typ) ->
Lang.Il.typ list ->
Lang.Il.value list ->
boolSource
val cache_find_typdef_opt :
(Domain.Lib.TId.t -> Type.Typdef.t option) ->
Domain.Lib.TId.t ->
Type.Typdef.t optionSource
val sub :
(Lang.Il.id' * Lang.Il.vid, bool) Stdlib.Hashtbl.t ->
(Domain.Lib.TId.t -> Type.Typdef.t option) ->
(Domain.Lib.FId.t -> Lang.Il.tparam list * Lang.Il.typ list * Lang.Il.typ) ->
(Lang.Il.typ', unit, Util.Source.region) Util.Source.info ->
(Lang.Il.value', Lang.Il.vnote, Util.Source.region) Util.Source.info ->
boolSource
val subs :
(Domain.Lib.TId.t -> Type.Typdef.t option) ->
(Domain.Lib.FId.t -> Lang.Il.tparam list * Lang.Il.typ list * Lang.Il.typ) ->
Lang.Il.typ list ->
Lang.Il.value list ->
bool