Relation
_CYCLIC
Arity
:
2
Defined in theory:
Unrestricted-time
Source code:
Unrestricted-Time.lisp