Note from the teaching team: This bug was reported during the Part II (Evaluating Documents) stage of the PE. You may reject this bug if it is not related to the quality of documentation.
Description: The optional block and the alt paths can be omitted to exclude lower level details.
Lower level details can be included as well, they are not strictly prohibited. in addition, there are even lower levels that have been omitted and are part of the Logic package.
Note from the teaching team: This bug was reported during the Part II (Evaluating Documents) stage of the PE. You may reject this bug if it is not related to the quality of documentation.
Description: The optional block and the alt paths can be omitted to exclude lower level details.
[original: nus-cs2103-AY2021S1/pe-interim#5622]