nitc :: MEnsure :: defaultinit
# A ensure (postcondition) representation
class MEnsure
super BottomMContract
redef fun is_already_applied(mfacet: MFacet): Bool do return mfacet.has_applied_ensure
end
src/model/model_contract.nit:41,1--46,3