package p4spectec

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

Module Interp_common.FlowSource

Sourcetype t =
  1. | Cont of Backtrace.trace list
  2. | Res of Lang.Sl.value list
  3. | Ret of Lang.Sl.value
  4. | Tailcall_func of Lang.Sl.id * Lang.Sl.targ list * Lang.Sl.value list
  5. | Tailcall_rel of Lang.Sl.id * Lang.Sl.value list