TeSSLa: TeSSLa Standard Library for TeSSLa 1.2.4

module CTF

Common Trace Format

ANCHOR Type CTF

CTF

ANCHOR getInt

liftable getInt(ctfObject: strict CTF, member: strict String): Int

liftable def getInt(ctfObject: strict CTF, member: strict String): Int = extern("CTF_getInt")

ANCHOR getString

liftable getString(ctfObject: strict CTF, member: strict String): String

liftable def getString(ctfObject: strict CTF, member: strict String): String = extern("CTF_getString")