Quellcode suspend

Jan Burse, erstellt 19. Aug 2019

1 Prädikat freeze/2

2 Prädikat when/2

3 Prädikat sys_cond_simp/2

4 Prädikat sys_cond_and/3

5 Prädikat sys_cond_or/3

6 Prädikat sys_cond_ground/2

7 Prädikat sys_hook_freeze/3

8 Prädikat sys_hook_when/3

9 Prädikat residue:sys_current_eq/2

10 Prädikat residue:sys_unwrap_eq/3

Kommentare