module arch.system.types.nullifierkey; import prelude open; import arch.node.types.crypto open; type NullifierKey := mkNullifierKey@{ key : Digest; --TODO: What type I need to put here. Hash? }; deriving instance nullifierKeyEq : Eq NullifierKey; deriving instance nullifierKeyOrd : Ord NullifierKey;