Unescape.best.hit: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/unescape.bend as Unescape Lines 146-153 of emerging-ezhttp@0.21.0.0/src/unescape.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/unescape.bend&start_line=146&end_line=153 import Base import emerging-ezhttp@0.21.0.0/src/entities.bend as Ents # a name the text starts with or not def best.hit(+best: Maybe<&2, Ents.Ref>, +r: Ents.Ref, +name: String, hit: Bool) -> Maybe<&2, Ents.Ref>: match hit: case True{}: best.take(best, r, Nat.is_lt(best.len(best), String.length(name))) case False{}: best Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/entities.bend&name=Ref https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/unescape.bend&name=best.len https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/unescape.bend&name=best.take