ensureContract method

@TagNumber.new(13) Contract ensureContract()

Implementation

@$pb.TagNumber(13)
Contract ensureContract() => $_ensure(12);