module Lang.Crucible.LLVM.Arch.Util where



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