object
Constructors for expected term references. An expected reference contains either a term or an unexpected term. Expected references should be regarded as opaque terms and always used with the "expected(_)" object by passing the reference as a parameter.
Paulo Moura
1.0
2017/12/16
static, context_switching_calls
type::type/1
type::check/2
Constructs an expected reference from an unexpected term.
static
of_unexpected(Unexpected,Reference)
of_unexpected(@term,--nonvar) – one
Constructs an expected reference from a term.
static
of_expected(Expected,Reference)
of_expected(@term,--nonvar) – one
(see related entities)
(see related entities)