ensureLocked method

@TagNumber(1) Proof_Locked ensureLocked()

Implementation

@$pb.TagNumber(1)
Proof_Locked ensureLocked() => $_ensure(0);