Function findSpecializationAxiomsWithSpecializedTerm

findSpecializationAxiomsWithSpecializedTerm(specializedTerm: SpecializableTerm): SpecializationAxiom[]
Finds specialization axioms referencing the given specialized term

Returns
An array of referencing specialization axioms
Parameters
- specializedTerm: SpecializableTerm
  
  The referenced specialized term
Returns SpecializationAxiom[]
- Defined in src/language-server/util/oml-search.ts:391

Generated using TypeDoc