'A list of restrictions on the combinators.
\'.\' denotes that permuting operations are disallowed
\',\' denotes that function composition is disallowed
\'_\' denotes that the direction has variable restrictions.
(This is redundant in the current implementation of type-raising)'

def restrs(self):

    return self._restrs
