ensureContract method

@TagNumber.new(10) Contract ensureContract()

Implementation

@$pb.TagNumber(10)
Contract ensureContract() => $_ensure(9);