samoht · August 29, 2015 14:02
diff --git a/1st class module b/1st class module
 module type LIST = (module type of List)
 module M (X: sig end) = struct
  module K = (val (match Random.int 2 with 0 -> assert false | _ -> (module List)): LIST)
 end
	module type LIST = (module type of List)
	module M (X: sig end) = struct
	module K = (val (match Random.int 2 with 0 -> assert false \| _ -> (module List)): LIST)
	end