fork(1) download
  1. module type FOO =
  2. sig
  3. type foo
  4. type bar
  5. type _ qux = F : foo qux
  6. val x : bar qux
  7. end
  8.  
  9. module Foo : FOO =
  10. struct
  11. type foo = int
  12. type bar = int
  13. type _ qux = F : foo qux
  14. let x = F
  15. end
Success #stdin #stdout 0s 4216KB
stdin
Standard input is empty
stdout
Standard output is empty