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