ATSLIB/contrib/json-c/arraylist

array_list2ptr

Synopsis

castfn
array_list2ptr {l:addr} (al: !array_list (l)):<> ptr (l)

array_list_new

Synopsis

fun array_list_new
  (free_fn: free_fn_type): array_list0 = "mac#%"

array_list_free

Synopsis

fun array_list_free (al: array_list1):<!wrt> void = "mac#%"

array_list_length

Synopsis

fun array_list_length (al: !array_list1):<> intGte(0) = "mac#%"

array_list_add

Synopsis

fun array_list_add
  (al: !array_list1, data: Ptr0):<!wrt> int(*err*) = "mac#%"

array_list_get_idx

Synopsis

fun array_list_get_idx (al: !array_list1, i: intGte(0)):<> Ptr0 = "mac#%"

array_list_put_idx

Synopsis

fun array_list_put_idx
  (al: !array_list1, i: intGte(0), data: Ptr0):<!wrt> int(*err*) = "mac#%"

array_list_sort

Synopsis

fun array_list_sort
  (al: !array_list1, cmp: (ptr, ptr) -<fun> int):<!wrt> void = "mac#%"

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.