import { type JssmCompileSe } from "https://deno.land/x/jssm@5.71.1/es6/jssm_types.d.ts";
definition: { to: StateType; se: JssmCompileSe; kind: JssmArrow; l_action?: StateType; r_action?: StateType; l_probability: number; r_probability: number; }