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)