ATSLIB/contrib/json-c/printbuf

printbuf2ptr

Synopsis

castfn
printbuf2ptr {l:addr} (al: !printbuf (l)):<> ptr (l)

printbuf_new

Synopsis

fun printbuf_new (): printbuf0 = "mac#%"

printbuf_free

Synopsis

fun printbuf_free (pb: printbuf0): void = "mac#%"

printbuf_reset

Synopsis

fun printbuf_reset (pb: !printbuf1): void = "mac#%"

printbuf_length

Synopsis

fun printbuf_length (pb: !printbuf1): intGte(0) = "mac#%"

printbuf_memappend

Synopsis

fun printbuf_memappend
  (pb: !printbuf1, buf: Ptr1, size: intGte(0)): int = "mac#%"

printbuf_memset

Synopsis

fun printbuf_memset
(
  pb: !printbuf1, offset: int, charvalue: int, len: intGte(0)
) : int = "mac#%" // end of [printbuf_memset]

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