module arch.node.engines.verification_messages;

import prelude open;
import arch.node.types.identities open;

type RequestVerification :=
  mkRequestVerification@{
    data : Signable;
    commitment : Commitment;
    externalIdentity : ExternalIdentity;
    useSignsFor : Bool;
  };

type ReplyVerification :=
  mkReplyVerification@{
    result : Bool;
    err : Option String;
  };

type VerificationMsg :=
  | MsgVerificationRequest RequestVerification
  | MsgVerificationReply ReplyVerification;