packed-stripPrefix.scp (247B)
1 -- Experiment only: the runtime prefix and target are both in the input. 2 consumer packedStripPrefix 3 (xs, []) @ _ => stem xs 4 ([], [p | ps]) @ _ => leaf 5 ([x | xs], [p | ps]) @ _ => choose equal x p recur (xs, ps) @ leaf leaf