1 2 3 4 5 6 7
pub const PROSE_CLOSURE_TOKENS: &[&str] = &[ "ADMITTED", "noiseless", "sealed", "mathematically closed", "valid codeword", ];