Function findSpecializationsWithSubTerm

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

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

Generated using TypeDoc