[flow][EZ] Add func_params.mli

Summary: Changelog: [internal]

Reviewed By: panagosg7

Differential Revision: D55165685

fbshipit-source-id: d8ed83ae7031b995e020f47f94ac0ee093c36782

src/typing/class_sig.ml

@@ -13,8 +13,8 @@ include Class_sig_intf
 module Make
     (ConsGen : Type_annotation_sig.ConsGen)
     (CT : Func_class_sig_types.Config.S)
-    (C : Func_params.Config with module Types := CT)
-    (P : Func_params.S with module Config_types := CT and module Config := C)
+    (C : Func_params_intf.Config with module Types := CT)
+    (P : Func_params_intf.S with module Config_types := CT and module Config := C)
     (F : Func_sig_intf.S with module Config_types := CT and module Config := C and module Param := P)
     (T : Func_class_sig_types.Class.S
            with module Config := CT

src/typing/class_sig.mli

@@ -10,8 +10,8 @@ include module type of Class_sig_intf
 module Make
     (_ : Type_annotation_sig.ConsGen)
     (CT : Func_class_sig_types.Config.S)
-    (C : Func_params.Config with module Types := CT)
-    (P : Func_params.S with module Config_types := CT and module Config := C)
+    (C : Func_params_intf.Config with module Types := CT)
+    (P : Func_params_intf.S with module Config_types := CT and module Config := C)
     (F : Func_sig_intf.S with module Config_types := CT and module Config := C and module Param := P)
     (T : Func_class_sig_types.Class.S
            with module Config := CT

src/typing/func_params.mli

@@ -0,0 +1,12 @@
+(*
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+module Make
+    (CT : Func_class_sig_types.Config.S)
+    (C : Func_params_intf.Config with module Types := CT)
+    (T : Func_class_sig_types.Param.S with module Config := CT) :
+  Func_params_intf.S with module Config_types := CT and module Config := C and module Types = T

src/typing/func_sig.ml

@@ -193,8 +193,8 @@ class func_scope_visitor
 module Make
     (Statement : Statement_sig.S)
     (CT : Func_class_sig_types.Config.S)
-    (C : Func_params.Config with module Types := CT)
-    (F : Func_params.S with module Config_types := CT and module Config := C)
+    (C : Func_params_intf.Config with module Types := CT)
+    (F : Func_params_intf.S with module Config_types := CT and module Config := C)
     (T : Func_class_sig_types.Func.S with module Config := CT and module Param := F.Types) :
   S with module Config_types := CT and module Config := C and module Param := F and module Types = T =
 struct

src/typing/func_sig.mli

@@ -10,8 +10,8 @@ include module type of Func_sig_intf
 module Make
     (_ : Statement_sig.S)
     (CT : Func_class_sig_types.Config.S)
-    (C : Func_params.Config with module Types := CT)
-    (F : Func_params.S with module Config_types := CT and module Config := C)
+    (C : Func_params_intf.Config with module Types := CT)
+    (F : Func_params_intf.S with module Config_types := CT and module Config := C)
     (T : Func_class_sig_types.Func.S with module Config := CT and module Param := F.Types) :
   S with module Config_types := CT and module Config := C and module Param := F and module Types = T
 

src/typing/func_sig_intf.ml

@@ -10,7 +10,8 @@ module type S = sig
 
   module Config : Func_params_intf.Config with module Types := Config_types
 
-  module Param : Func_params.S with module Config_types := Config_types and module Config := Config
+  module Param :
+    Func_params_intf.S with module Config_types := Config_types and module Config := Config
 
   module Types :
     Func_class_sig_types.Func.S with module Config := Config_types and module Param := Param.Types

src/typing/statement_sig.ml

@@ -14,7 +14,7 @@ module type S = sig
   module Func_stmt_config : Func_stmt_config_sig.S with module Types := Func_stmt_config_types.Types
 
   module Func_stmt_params :
-    Func_params.S
+    Func_params_intf.S
       with module Config_types := Func_stmt_config_types.Types
        and module Config := Func_stmt_config
        and module Types = Func_stmt_params_types