Language.Haskell.Liquid.Foreign

intCSize

cSizeInt

mkPtr

isNullPtr

fpLen

pLen

deref

eqPtr