use miden::standards::access::ownable2step

# POLICY PROCEDURES
# ================================================================================================

#! Owner-only mint predicate.
#!
#! Inputs:  [amount, tag, note_type, RECIPIENT]
#! Outputs: [amount, tag, note_type, RECIPIENT]
#!
#! Panics if:
#! - note sender is not owner.
#!
#! Invocation: dynexec
pub proc check_policy
    exec.ownable2step::assert_sender_is_owner
    # => [amount, tag, note_type, RECIPIENT]
end
