Changes in doc/generic_types/evaluation/c-stack.h [309be81:a381b46]

File:

• doc/generic_types/evaluation/c-stack.h (modified) (2 diffs)

doc/generic_types/evaluation/c-stack.h

@@ +1 @@
+#pragma once
+
 struct stack_node;
-
 struct stack {
         struct stack_node* head;
@@ -6 +7 @@
 
 struct stack new_stack();
-
-void clear_stack(struct stack* s);
+void copy_stack(struct stack* dst, const struct stack* src, void* (*copy)(const void*));
+void clear_stack(struct stack* s, void (*free_el)(void*));
 
 _Bool stack_empty(const struct stack* s);
-
 void push_stack(struct stack* s, void* value);
-
 void* pop_stack(struct stack* s);