var searchIndex = JSON.parse('{\
"ntext":{"doc":"","i":[[5,"digit_to_text","ntext","Convert digit to text.",null,[[["u8",15]],[["option",4],["string",3]]]],[5,"to_text","","Convert u32 to words in a string.",null,[[["u32",15]],["string",3]]]],"p":[]}\
}');
addSearchOptions(searchIndex);initSearch(searchIndex);