ATSLIB/prelude/memory

This package contains various functions on memory allocation and deallocation.

malloc_gc

Synopsis

fun
malloc_gc
  {n:int}
(
  bsz: size_t (n)
) :<!wrt>
  [l:agz]
(
  b0ytes n @ l, mfree_gc_v (l) | ptr l
) = "mac#%" // endfun

mfree_gc

Synopsis

fun
mfree_gc
  {l:addr}{n:int}
(
  pfat: b0ytes n @ l
, pfgc: mfree_gc_v (l) | ptr l
) :<!wrt> void = "mac#%"

calloc_gc

Synopsis

Synopsis for [calloc_gc] is unavailable.

realloc_gc

Synopsis

Synopsis for [realloc_gc] is unavailable.

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