#pragma once

forall( otype T ) struct stack_node;
forall( otype T ) struct stack {
	stack_node(T) * head;
};

forall( otype T ) void ?{}( stack(T) & s );
forall( otype T ) void ?{}( stack(T) & s, stack(T) t );
forall( otype T ) stack(T) ?=?( stack(T) & s, stack(T) t );
forall( otype T ) void ^?{}( stack(T) & s);

forall( otype T ) _Bool empty( const stack(T) & s );
forall( otype T ) void push( stack(T) & s, T value );
forall( otype T ) T pop( stack(T) & s );
forall( otype T ) void clear( stack(T) & s );