package p4spectec
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