local
  let id x = x
  let f x = x + x
in
let global_decl x =
  f (id x)

----

let global_decl =
  let id x = x in
  let f x = x + x in
  in fun x ->
    f (id x)

----

let global_decl x = f (id x)
where
 let id x = x
 let f x = x + x
end