package p4spectec

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

Parameter Make.A

val eval_extern_init : Value.t list -> Value.t
val eval_extern_func_lctk_call : Value.t list -> Value.t list
val eval_extern_func_call : Value.t list -> Value.t list
val eval_extern_method_call : Value.t list -> Value.t list
val init_arch_state : Value.t