# Copyright 2017 Yahoo Holdings. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
namespace=prelude.searcher

## The ordinal number of the character to quote in UNICODE.
character[].ordinal int
## The string to translate a character to.
character[].quoting string