object
Types and predicates for type-checking and handling expecteds.
Paulo Moura
0.1
2017/12/26
static, context_switching_calls
Returns the values stored in the expcted references that hold an expected term.
static
expecteds(References,Expecteds)
expecteds(+list(expected),-list) – one
Returns the values stored in the expcted references that hold an expected term.
static
unexpecteds(References,Unexpecteds)
unexpecteds(+list(expected),-list) – one
Retrieves and partitions the values stored in the expcted references.
static
partition(References,Expecteds,Unexpecteds)
partition(+list(expected),-list,-list) – one
(see related entities)
(see related entities)