crucible-llvm-0.6: src/Lang/Crucible/LLVM/Arch/Util.hs

module Lang.Crucible.LLVM.Arch.Util where



(|->) :: a -> b -> (a, b)
p |-> x = (p,x)