crucible-llvm-0.6: Support for translating and executing LLVM code in Crucible
Quick Jump
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Lang.Crucible.LLVM.Arch.Util
Documentation
(|->)
:: a -> b -> (a, b)
Source
#