View Source TypeResolver.Types.NonemptyMaybeImproperListT (TypeResolver v0.1.4)
Representation of the spec of a non empty maybe improper list-type, e.g. non_empty_maybe_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.NonemptyMaybeImproperListT{ inner: TypeResolver.Types.t() | nil, termination: TypeResolver.Types.t() | nil }