package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module P4.ExtractSource

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