# Fixture for kdesc_test.sh: one target's view (--coverage <target>).
# Engine tier: it declares its own targets, so the suite runs with no
# klammer set.
@@@target ta | Target A @@@
@@@target tb | Target B @@@

# Covers ta with a body.
@@full.k s : defined for ta @@
@@full.ta :: A*s* @@

# Covers ta with an EMPTY body: a decision that it has no meaning in ta.
@@nothing.k s : defined for ta by an empty body @@
@@nothing.ta :: @@

# Defined for tb only: undecided in ta.
@@elsewhere.k s : defined for tb @@
@@elsewhere.tb :: B*s* @@