public static interface Procedure.Done<P extends Procedure>
void
doDone(P p, Procedure.Result r)
void doDone(P p, Procedure.Result r)