Files

11 lines
212 B
Plaintext

module A_Private {
explicit module BP {
explicit module CPMissingRequirement {
requires missing
}
}
explicit module BPMissingRequirement {
requires missing
}
}