Pct.safe: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/pct.bend as Pct Lines 17-20 of emerging-ezhttp@0.21.0.0/src/pct.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/pct.bend&start_line=17&end_line=20 import Base # a character a form writes as itself: unreserved, or "/" when `slash` (the # path form) keeps it def safe(slash: Bool, +cp: U32) -> Bool: Bool.or(unreserved(cp), Bool.and(U32.is_eq(cp, 47), slash)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/pct.bend&name=unreserved