Function findSpecializationsWithSuperTerm

findSpecializationsWithSuperTerm(term: SpecializableTerm): SpecializationAxiom[]
Finds specialization axioms that have the given term as a super term

Returns
an array of specialization axioms that have the given term as a super term
Parameters
- term: SpecializableTerm
  
  the given term
Returns SpecializationAxiom[]
- Defined in src/language-server/util/oml-search.ts:183

Generated using TypeDoc