def heads.drop.step
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
1994# a recorded table under the prefix is dropped
1995def heads.drop.step(
1996 under: Bool,
1997 mark: Char,
1998 path: String,
1999 rest: List<&2, String>
2000) -> List<&2, String>:
2001 match under:
2002 case True{}:
2003 rest
2004 case False{}:
2005 SCon{mark, path} <> rest