Step 1

src/utility/lib/CDFunctor.re

@@ -0,0 +1,7 @@
+module type Config = {let shape: DistributionTypes.xyShape;};
+
+module Make = (Config: Config) => {
+  let validateHasLength = (): bool => Array.length(Config.shape.xs) > 0;
+  let validateSize = (): bool =>
+    Array.length(Config.shape.xs) == Array.length(Config.shape.ys);
+};

src/utility/lib/CDFunctor__Test.re

@@ -0,0 +1,8 @@
+module CDFConfig = {
+  let shape: DistributionTypes.xyShape = {
+    xs: [|1., 4., 8.|],
+    ys: [|8., 9., 2.|],
+  };
+};
+
+module CDF = CDFunctor.Make(CDFConfig);