module arch.system.types.nullifier;

import prelude open;
import arch.system.types.resource open;
import arch.system.types.nullifierkey open;
import arch.node.types.crypto open;

type Nullifier :=
  mkNullifier@{
    key : NullifierKey;
    resource : Resource;
  };

deriving instance
nullifierEq : Eq Nullifier;

deriving instance
nullifierOrd : Ord Nullifier;