Module Cduce_core.Run_dispatch

val run_dispatcher : Auto_pat.state -> Value.t -> int * Value.t array