package p4spectec

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

Module Remove_let_dead.Used

val empty : t
val init_exp : Defined.t -> Ol.Ast.exp -> t
val init_exps : Defined.t -> Ol.Ast.exp list -> t
val init_guard : Defined.t -> Ol.Ast.guard -> t
val union : t -> t -> t