package p4spectec

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

Module Sli.Typs

module Typ = Runtime.Type.Typ
val typ_param : Lang.Il.typ
val typ_iterinstr : Lang.Il.typ
val typ_instr : Lang.Il.typ
val typ_block : Lang.Il.typ
val typ_holdcase : Lang.Il.typ
val typ_guard : Lang.Il.typ
val typ_case : Lang.Il.typ
val typ_tblrow : Lang.Il.typ
val typ_defn : Lang.Il.typ