/**
 * Rubicon contracts
 *
 * Copyright (C) 2026, QPQ AG
 *
 * Author: Peter Harpending <peterharpending@qpq.swiss>
 * Date: 2026-08-12
 */

payable contract NameService =
    record state =
        {names : map(string, address)}

    payable entrypoint
        init : () => state
        init() =