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
comments (?)
stdin 
Standard input is empty
stdout 
Standard output is empty
https://ideone.com/0FyTmz
language:
OCaml (ocamlopt 4.05.0)
created:
8 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!