rename STM.STM_internal to STM.Internal

Author: jmid

lib/STM.ml

@@ -109,7 +109,7 @@ sig
 end
 
 
-module STM_internal =
+module Internal =
 struct
   module Make(Spec : Spec) = struct
 

lib/STM.mli

@@ -127,7 +127,7 @@ sig
 end
 
 
-module STM_internal : sig
+module Internal : sig
 open QCheck
 (** Internal helper module to build STM tests. *)
 

lib/STM_domain.ml

@@ -4,7 +4,7 @@ module Make (Spec: Spec) = struct
 
   open Util
   open QCheck
-  open STM_internal.Make(Spec)
+  open Internal.Make(Spec)
 
   let check_obs = check_obs
   let arb_cmds_par = arb_cmds_par

lib/STM_sequential.ml

@@ -3,7 +3,7 @@ open STM
 module Make (Spec: Spec) = struct
 
   open QCheck
-  open STM_internal.Make(Spec)
+  open Internal.Make(Spec)
 
   (* re-export some functions *)
   let cmds_ok        = cmds_ok

lib/STM_thread.ml

@@ -4,7 +4,7 @@ module Make (Spec: Spec) = struct
 
   open Util
   open QCheck
-  open STM_internal.Make(Spec)
+  open Internal.Make(Spec)
 
   exception ThreadNotFinished