package p4spectec

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

Module Structure.Totalize

module Mixop = Domain.Mixop
module Typ = Runtime.Type.Typ
val find_variant_case_analysis : Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.case list -> Mixop.t list option
val totalize_case_analysis : Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.block -> Ol.Ast.block
val totalize_case_analysis' : Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.instr -> Ol.Ast.instr