pub fn valid_dht_op(keystore: MetaLairClient) -> Facts<'static, DhtOp>
Expand description

Fact: The DhtOp is internally consistent in all of its references:

  • TODO: The DhtOp variant matches the Header variant
  • The Signature matches the Header
  • If the header references an Entry, the Entry will exist and be of the appropriate hash
  • If the header does not reference an Entry, the entry will be None