fork download
  1. module Foo (T : sig type +'a t end) =
  2. struct
  3. (* ... *)
  4. end
  5.  
  6. module Bar (T : sig type -'a t end) =
  7. struct
  8. (* ... *)
  9. end
  10.  
  11. module Qux =
  12. struct
  13. type 'a t = int
  14. (* ... *)
  15. end
  16.  
  17. module FooQux = Foo(Qux)
  18. module BarQux = Bar(Qux)
Success #stdin #stdout 0s 4168KB
stdin
Standard input is empty
stdout
Standard output is empty