# SPDX-License-Identifier: PMPL-1.0-or-later
# Mustfile.a2ml — BLANK TEMPLATE
# Replace this with your project's contractile.
# See .machine_readable/contractiles/ for a working example.
#
# Copy this file to .machine_readable/contractiles/must/Mustfile.a2ml
# and fill in your project-specific checks.

@abstract:
[Your project's MUST contract goes here]
@end
