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