proofs.pbenum library Null safety

Classes

HashOp
LengthOp