682def nativePhysicalRequireBytes =
683 (lambda unrestricted payload : Bytes .
684 (lambda unrestricted error : (family NativePhysicalErrorCode) .
685 (nat-eliminate
686 (lambda unrestricted current : Nat . (family NativePhysicalOperationValidation))
687 (constructor NativePhysicalOperationValidation NativePhysicalOperationInvalid error)
688 (lambda unrestricted predecessor : Nat .
689 (lambda unrestricted ignored : (family NativePhysicalOperationValidation) .
690 (constructor NativePhysicalOperationValidation NativePhysicalOperationValid)))
691 (bytes-length payload))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.