alice.tuprologx.pj.engine

Enum TermKind