Function getSuperTerm

getSuperTerm(axiom: SpecializationAxiom): SpecializableTerm
Gets the super (general) term of the given specialization axiom

Returns
the super term of the given specialization axiom
Parameters
- axiom: SpecializationAxiom
  
  the given specialization axiom
Returns SpecializableTerm
- Defined in src/language-server/util/oml-read.ts:66

Generated using TypeDoc