def heads.drop.step

emerging-eztoml@0.9.0.0 · main.bend:1994

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import 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

Uses (4)

Used by (1)