#include "unify.h"
int Destroy_Seg(seg_id_type seg)
Destroy_Seg frees the resources associated with the segment referenced by seg.
Destroy_Seg
Destroy_Seg returns 0 upon success. Otherwise, a value of -1 is returned.
Create_Seg(3), unifyintro(3)