Documentation

Poke a list of Decl into memory, including the SMR file header.

Poke a Decl into memory.

Poke an Exp into memory.

Poke a Key into memory.

Poke a Param into memory.

Poke a Car into memory.

Poke an SnvBind into memory.

Poke an UpsBump into memory.

Poke a Ref into memory.

Peek a Name from memory.

Poke a Bump into memory.

Poke a Nom into memory.

Poke a Word8 into memory.

Poke a Word16 into memory, in network byte order.

Poke a Word32 into memory, in network byte order.

Poke a Word64 into memory, in network byte order.