blob: 52fcaec4df32e2e92d3ffbaf5d756d1e5640f112 [file] [log] [blame]
pub static OPTION: [&str; 3] = ["core", "option", "Option"];
pub const RESULT: &[&str] = &["core", "result", "Result"];