let
out_key out =
Out
(
OutLoc
out)