ASignature specifically for the contract in fonction of the given n_signature
# Create and return an adapted `ASignature` specifically for the contract in fonction of the given `n_signature`
private fun adapt_specific_nsignature(n_signature: ASignature): ASignature do return n_signature.adapt_to_contract
src/contracts.nit:295,2--296,115
redef fun adapt_specific_nsignature(n_signature: ASignature): ASignature
do
return n_signature.adapt_to_ensurecondition
end
src/contracts.nit:516,2--519,4