-
Andrei Paskevich authored
This allows us to produce monomorphic instances for the symbols in "lskept" even if the corresponding ground types (e.g., arrays) do not occur directly in the goal/task, because they are hidden inside some supertypes.
e9010695