Commits

Anonymous committed dc88c68

won't constraint Functor modules by its signature

  • Participants
  • Parent commits 17a9cff

Comments (0)

Files changed (2)

 
     open Amall_types;
 
-    module Functor : FUNCTOR
+    module Functor
      =
       struct
         type t 'a = array 'a;
 
     open Amall_types;
 
-    module Functor : FUNCTOR
+    module Functor
      =
       struct
         type t 'a = list 'a;