object

# expected

> 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.

author:
  `Paulo Moura`
version:
  `1.0`
date:
  `2017/12/16`

compilation flags:
  `static, context_switching_calls`

provides:
  `type::type/1`
  `type::check/2`

## Public interface

### of_unexpected/2

> Constructs an expected reference from an unexpected term.

compilation flags:
  `static`
template:
  `of_unexpected(Unexpected,Reference)`
mode – number of proofs:
  `of_unexpected(@term,--nonvar) – one`

### of_expected/2

> Constructs an expected reference from a term.

compilation flags:
  `static`
template:
  `of_expected(Expected,Reference)`
mode – number of proofs:
  `of_expected(@term,--nonvar) – one`

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

### (none)

## Remarks

Type-checking support
  This object also defines a type "expected" for use with the "type" library object.

## See also

- expected(Reference)
- type