diff --git a/guardian/Guardian_backend/MariaDb/Make/argument-4-Database/index.html b/guardian/Guardian_backend/MariaDb/Make/argument-4-Database/index.html index 1dfa813..2236426 100644 --- a/guardian/Guardian_backend/MariaDb/Make/argument-4-Database/index.html +++ b/guardian/Guardian_backend/MariaDb/Make/argument-4-Database/index.html @@ -1,8 +1,9 @@ -
Make.Database
val fetch_pool :
+Database (guardian.Guardian_backend.MariaDb.Make.Database) Parameter Make.Database
diff --git a/guardian/Guardian_backend/Pools/DefaultConfig/index.html b/guardian/Guardian_backend/Pools/DefaultConfig/index.html
index 08e4a94..d8aa504 100644
--- a/guardian/Guardian_backend/Pools/DefaultConfig/index.html
+++ b/guardian/Guardian_backend/Pools/DefaultConfig/index.html
@@ -1,2 +1,2 @@
-DefaultConfig (guardian.Guardian_backend.Pools.DefaultConfig) Module Pools.DefaultConfig
val database : connection_type
+DefaultConfig (guardian.Guardian_backend.Pools.DefaultConfig) Module Pools.DefaultConfig
diff --git a/guardian/Guardian_backend/Pools/Make/argument-1-Config/index.html b/guardian/Guardian_backend/Pools/Make/argument-1-Config/index.html
index c730f16..d0a1433 100644
--- a/guardian/Guardian_backend/Pools/Make/argument-1-Config/index.html
+++ b/guardian/Guardian_backend/Pools/Make/argument-1-Config/index.html
@@ -1,2 +1,2 @@
-Config (guardian.Guardian_backend.Pools.Make.Config) Parameter Make.Config
val database : connection_type
+Config (guardian.Guardian_backend.Pools.Make.Config) Parameter Make.Config
diff --git a/guardian/Guardian_backend/Pools/Make/index.html b/guardian/Guardian_backend/Pools/Make/index.html
index 80430eb..16d803f 100644
--- a/guardian/Guardian_backend/Pools/Make/index.html
+++ b/guardian/Guardian_backend/Pools/Make/index.html
@@ -1,8 +1,9 @@
-Make (guardian.Guardian_backend.Pools.Make) Module Pools.Make
Parameters
Signature
include Sig
val fetch_pool :
+Make (guardian.Guardian_backend.Pools.Make) Module Pools.Make
diff --git a/guardian/Guardian_backend/Pools/index.html b/guardian/Guardian_backend/Pools/index.html
index 2cede80..98a5ef3 100644
--- a/guardian/Guardian_backend/Pools/index.html
+++ b/guardian/Guardian_backend/Pools/index.html
@@ -1,9 +1,2 @@
-Pools (guardian.Guardian_backend.Pools) Module Guardian_backend.Pools
+Pools (guardian.Guardian_backend.Pools) Module Guardian_backend.Pools
diff --git a/guardian/Guardian_backend/Pools/module-type-ConfigSig/index.html b/guardian/Guardian_backend/Pools/module-type-ConfigSig/index.html
index 222afc4..c598f0e 100644
--- a/guardian/Guardian_backend/Pools/module-type-ConfigSig/index.html
+++ b/guardian/Guardian_backend/Pools/module-type-ConfigSig/index.html
@@ -1,2 +1,2 @@
-ConfigSig (guardian.Guardian_backend.Pools.ConfigSig) Module type Pools.ConfigSig
val database : connection_type
+ConfigSig (guardian.Guardian_backend.Pools.ConfigSig) Module type Pools.ConfigSig
diff --git a/guardian/Guardian_backend/Pools/module-type-Sig/index.html b/guardian/Guardian_backend/Pools/module-type-Sig/index.html
index f49b5c1..72095df 100644
--- a/guardian/Guardian_backend/Pools/module-type-Sig/index.html
+++ b/guardian/Guardian_backend/Pools/module-type-Sig/index.html
@@ -1,8 +1,9 @@
-Sig (guardian.Guardian_backend.Pools.Sig) Module type Pools.Sig