~/jendhub

def unquote

bolt@1.26.0.0 · src/config.bend:79

import bolt@1.26.0.0/src/config.bend as Config
import Base

79# a string literal's text, its quotes dropped
80def unquote(+tt: String) -> String:
81  Bool.pick(String, Bool.and(String.starts_with(tt, "\""), String.ends_with(tt, "\"")),
82    String.take(String.drop(tt, 1n), (String.length(tt) - 2n : Nat)), tt)

Uses (10)

Used by (1)