module type FOO =
sig
type foo
type bar
type _ qux = F : foo qux
val x : bar qux
end
module Foo : FOO =
struct
type _ qux = F : foo qux
let x = F
end
bW9kdWxlIHR5cGUgRk9PID0Kc2lnCiAgdHlwZSBmb28KICB0eXBlIGJhcgogIHR5cGUgXyBxdXggPSBGIDogZm9vIHF1eAogIHZhbCB4IDogYmFyIHF1eAplbmQKCm1vZHVsZSBGb28gOiBGT08gPQpzdHJ1Y3QKICB0eXBlIGZvbyA9IGludAogIHR5cGUgYmFyID0gaW50CiAgdHlwZSBfIHF1eCA9IEYgOiBmb28gcXV4CiAgbGV0IHggPSBGCmVuZA==