View Source TypeResolver.Types.NonemptyImproperListT (TypeResolver v0.1.6)
Representation of the spec of a maybe improper list-type, e.g. non_empty_improper_list(integer() integer())
It consists of the following:
- the type of the non empty list's elements
- the termination type
Summary
Types
@type t() :: %TypeResolver.Types.NonemptyImproperListT{ inner: TypeResolver.Types.t() | nil, termination: TypeResolver.Types.t() | nil }