Parts

class Parts(val supporter: Term, val supported: Term)

The parts of the term of a support, by name

Constructors

Link copied to clipboard
constructor(supporter: Term, supported: Term)

Properties

Link copied to clipboard
val supported: Term
Link copied to clipboard
val supporter: Term