Quellcode verify

Jan Burse, erstellt 22. Jul 2019

1 Prädikat put_atts/3

2 Prädikat get_atts/3

3 Prädikat del_atts/2

4 Prädikat del_atts2/2

5 Prädikat atts/4

6 Prädikat residue:sys_current_eq/2

7 Prädikat residue:sys_unwrap_eq/3

Kommentare