]> matita.cs.unibo.it Git - helm.git/blob - ml_glib.h
f0b45db4c8023f7a199207e4f14b1ff3c418829c
[helm.git] / ml_glib.h
1 /* $Id$ */
2
3 /*
4 value Val_GSList (GSList *list, value (*func)(gpointer));
5
6 GSList *GSList_val (value list, gpointer (*func)(value));
7 */
8
9 value Val_GList (GList *list, value (*func)(gpointer));
10 GList *GList_val (value list, gpointer (*func)(value));