12.16.3 Definstances Functions
12.16.3.1 Getting the List of Definstances