#ifndef _alloc_ #define _alloc_ #include "misc.h" #include "mlvalues.h" EXTERN value alloc(mlsize_t, tag_t); EXTERN value alloc_tuple(mlsize_t); EXTERN value alloc_string(mlsize_t); EXTERN value alloc_final(mlsize_t, final_fun, mlsize_t, mlsize_t); EXTERN value copy_string(char *); EXTERN value copy_string_array(char **); EXTERN value copy_double(double); EXTERN value alloc_array(value (*funct) (char *), char ** array); EXTERN int convert_flag_list(value, int *); #endif /* _alloc_ */