Searched defs:option (Results 1 – 2 of 2) sorted by relevance
34 Option<String> option = Option.fromNullable(name); in testSome() local46 Option<String> option = Option.fromNullable(name); in testNone() local
204 string option = options.substr(pos, next_pos - pos); in parse_options() local