Lysxia · March 28, 2016 10:26
diff --git a/BasicBlock.ml b/BasicBlock.ml
 module M = struct
  include BasicBlock_types
  let f X Y Z = ()
 end
diff --git a/BasicBlock.mli b/BasicBlock.mli
 module M : sig
  include module type of BasicBlock_types
  val f : x -> y -> z -> unit
 end
diff --git a/BasicBlock_types.ml b/BasicBlock_types.ml
 type x = X
 type y = Y
 type z = Z
	module M : sig
	include module type of BasicBlock_types
	val f : x -> y -> z -> unit
	end