Open lcartey opened 1 week ago
Provide an interface for identifying the link target of a declaration, to simplify the implementation of RULE-5-8 and RULE-8-3.
RULE-5-8
RULE-8-3
Provide an interface for identifying the link target of a declaration, to simplify the implementation of
RULE-5-8andRULE-8-3.