Convert a pattern to a type, if possible (wildcards can’t be converted to types).
| Parameters: | pat (titus.P) – pattern to convert |
|---|---|
| Return type: | titus.datatype.Type |
| Returns: | corresponding type (titus.datatype.Type rather than titus.datatype.AvroType to allow for titus.datatype.FcnType) |