ensureContract method

@TagNumber(13) Contract ensureContract()

Implementation

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