Interface PredicateType

True if the type is of the form asserts val is string, false if the type is of the form val is string

The identifier name which is tested by the predicate.

The type name identifier.

The type that the identifier is tested to be. May be undefined if the type is of the form asserts val. Will be defined if the type is of the form asserts val is string or val is string.