package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `P4.Extract`Source

module Value = Runtime.Value

module F = Stdlib.Format

Sourceval error : Util.Source.region -> string -> 'a

Sourceval id_of_name : Lang.Il.value -> string

Sourceval id_of_function_prototype : Lang.Il.value -> string

Sourceval id_of_declaration : Lang.Il.value -> string

Sourceval id_of_parameter : Lang.Il.value -> string

Sourceval tid_of_typeRef : Lang.Il.value -> Context.tid

Sourceval tid_of_declaration : Lang.Il.value -> Context.tid

Sourceval has_type_params : Lang.Il.value -> bool

Sourceval has_type_params_function_prototype : Lang.Il.value -> bool

Sourceval has_type_params_declaration : Lang.Il.value -> bool