package p4spectec

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

Module Structure.Optimize

val optimize_pre : final:bool -> Ol.Ast.block -> Ol.Ast.block
val optimize_post : Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.block -> Ol.Ast.block
val optimize : final:bool -> Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.block -> Ol.Ast.block
val optimize_with_else : final:bool -> Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.block -> Ol.Ast.elseblock option -> Ol.Ast.block * Ol.Ast.elseblock option
val optimize_without_else : final:bool -> Runtime.Dynamic_Sl.Envs.TDEnv.t -> Ol.Ast.block -> Ol.Ast.block