module arch.node.net.node_proxy_config; import arch.node.net.node_proxy_messages open; import arch.node.types.basics open; import arch.node.types.engine open; import arch.node.types.identities open; type NodeProxyLocalCfg := mkNodeProxyLocalCfg; NodeProxyCfg : Type := EngineCfg NodeProxyLocalCfg; module node_proxy_config_example; exNodeProxyCfg : NodeProxyCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "node-proxy"; cfg := mkNodeProxyLocalCfg; }; end;