def spaced

bolt@1.27.0.0 · src/syntax/bind.bend:298

import bolt@1.27.0.0/src/syntax/bind.bend as Bind

import Base

298# a declaration as written: `+x: List<&2, U32>`, `~f: U32 -> U32`. A space
299# follows `:` and `,`, spaces surround `->`, everything else is glued
300def spaced(+tt: String) -> String:
301  Bool.pick(String, String.eq(tt, "->"), " -> ",
302    Bool.pick(String, Bool.or(String.eq(tt, ":"), String.eq(tt, ",")), tt ++ " ", tt))

Uses (5)

Used by (2)