package p4spectec

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

Module Post.Remove_match_singleton

module Typ = Runtime.Type.Typ
val is_singleton_case : Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.typ -> bool
val is_singleton_match : Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.exp -> bool