object
list
¶
List predicates.
Author: Paulo Moura
Version: 2.14
Date: 2018/3/13
Compilation flags:
static, context_switching_calls
Public interface¶
as_difflist/2
¶
Converts a list to a difference list.
Compilation flags:
static
Template:
as_difflist(List,Diffist)
Mode and number of proofs:
as_difflist(+list,-difference_list)
- one
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)