module arch.node.engines.commitment_config; import prelude open; import arch.node.engines.commitment_messages open; import arch.system.identity.identity as Identity; import arch.system.identity.identity as Identity; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type CommitmentLocalCfg := mk@{ signer : Identity.Signer Backend Signable Commitment; backend : Backend; }; CommitmentCfg : Type := EngineCfg CommitmentLocalCfg; module commitment_config_example; commitmentCfg : CommitmentCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "commitment"; cfg := CommitmentLocalCfg.mk@{ signer := Identity.Signer.mkSigner@{ sign := \{_ x := Signature.Ed25519Signature "0xabcd1234"}; }; backend := Backend.LocalMemory; }; }; end;