package p4spectec

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

Module Ali.Typs

module Typ = Runtime.Type.Typ
val typ_param : Lang.Il.typ
val typ_iterprem : Lang.Il.typ
val typ_prem : Lang.Il.typ
val typ_rulmatch : Lang.Il.typ
val typ_rulpath : Lang.Il.typ
val typ_rulgroup : Lang.Il.typ
val typ_elsgroup : Lang.Il.typ
val typ_clause : Lang.Il.typ
val typ_tblrow : Lang.Il.typ
val typ_defn : Lang.Il.typ