package p4spectec

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

Module Dynamic_sl.FuncSource

Sourcetype t =
  1. | Extern of Lang.Sl.tparam list * Lang.Sl.param list * Lang.Sl.typ
  2. | Builtin of Lang.Sl.tparam list * Lang.Sl.param list * Lang.Sl.typ
  3. | Table of Lang.Sl.param list * Lang.Sl.typ * Lang.Sl.tablerow list
  4. | Defined of Lang.Sl.tparam list * Lang.Sl.param list * Lang.Sl.typ * Lang.Sl.block * Lang.Sl.elseblock option
Sourceval to_string : t -> string
Sourceval get_signature : t -> Lang.Sl.tparam list * Lang.Sl.typ list * Lang.Sl.typ