Subtypes: Attribute

Reference s t tt ~ (s `AR` (t `LM` (tt `AR` s)))