kdrag.contrib.term

Classes

Term(f[, args])
Var(name)

class kdrag.contrib.term.Term(f: str, args: tuple['Term', ...] = ())

Bases: object

Parameters:

• f (str)

• args (tuple[Term, ...])

args: tuple[Term, ...] = ()

f: str

class kdrag.contrib.term.Var(name: str)

Bases: object

Parameters:

name (str)

name: str