declare module "urbit-ob" {

  /**
   * Convert a @p-encoded string to a decimal-encoded string.
   */
  function patp2dec(name: string): string
}