Module type Aorai_dataflow.Reachable_end_states

module type Reachable_end_states = sig .. end

val kf : Kernel_function.t
val stack : Kernel_function.t list
val end_state : Data_for_aorai.state