# The root of all contracts
abstract class MContract
	super MMethod

	# Is the contract is it already applied on the given `mfacet`
	fun is_already_applied(mfacet: MFacet): Bool is abstract
end