MSignature specifically for the contract in fonction of the given m_signature
# Create and return an adapted `MSignature` specifically for the contract in fonction of the given `m_signature`
private fun adapt_specific_msignature(m_signature: MSignature): MSignature do return m_signature.adapt_to_contract
src/contracts.nit:292,2--293,115
redef fun adapt_specific_msignature(m_signature: MSignature): MSignature
do
return m_signature.adapt_to_ensurecondition
end
src/contracts.nit:511,2--514,4