crucible-llvm-0.6: Support for translating and executing LLVM code in Crucible
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.LLVM.Arch.Util

Documentation

(|->) :: a -> b -> (a, b) Source #

OSZAR »