mcdp {
provides fโ[m]
provides fโ[m]
requires rโ[m]
provided fโ + 10 cm โค 10 m
provides x[m]
requires y[m]
provided x โค required y
provided fโ + provided fโ โค required rโ
provided x โค 100 m
a = instance mcdp {
provides ff[m]
requires ff = provided ff ยท 2
requires x[m]
required x โฅ 1 m
}
requires x for a
# x required by a โผ ff provided by a
provides ff using a
requires ff for a
}
