Characteristic predicate BaseTypesNode :: BaseTypesNode
BaseTypesNode
(
)