1 Matching Annotations
  1. Apr 2024
    1. the block is valid: valid(푣, ≺푏),using the definition of valid provided by the data type

      ^ I.e., we need to ensure validity of block's ops. This is a datatype-specific validation.