structure ppLib =
struct

local
open ppTheory
in
val x = 3
end

end