break out hidden ctor

src/recovery_securify_cache/helpers/derivation_analysis_types/known_taken_instances.rs

@@ -1,21 +1,5 @@
 use crate::prelude::*;
 
-/// A type used to hide a constructor for some other type, use
-/// it like this:
-///
-/// ```rust,ignore
-/// pub struct ValidatedName {
-///     hiding_ctor: HiddenConstructor,
-///     pub name: String,
-///     pub name_appended_to_name: String // validated!
-/// }
-/// ```
-///
-/// Making it impossible to create `ValidatedName` with invalid value!
-///
-#[derive(Clone, Default, Debug, PartialEq, Eq, Hash)]
-pub struct HiddenConstructor;
-
 // TODO figure out if we want this or `DerivedFactorInstances`? Or neither or both
 /// A collection of collections of FactorInstances, all collections are disjoint,
 /// i.e. no FactorInstance is present in more than one collection.

src/types/hidden_constructor.rs

@@ -0,0 +1,15 @@
+/// A type used to hide a constructor for some other type, use
+/// it like this:
+///
+/// ```rust,ignore
+/// pub struct ValidatedName {
+///     hiding_ctor: HiddenConstructor,
+///     pub name: String,
+///     pub name_appended_to_name: String // validated!
+/// }
+/// ```
+///
+/// Making it impossible to create `ValidatedName` with invalid value!
+///
+#[derive(Clone, Default, Debug, PartialEq, Eq, Hash)]
+pub struct HiddenConstructor;

src/types/mod.rs

@@ -1,6 +1,7 @@
 mod factor_sources_of_kind;
 mod hd_signature;
 mod hd_signature_input;
+mod hidden_constructor;
 mod invalid_transaction_if_neglected;
 mod new_methods_on_sargon_types;
 mod owned_types;
@@ -9,6 +10,7 @@ mod sargon_types;
 pub(crate) use factor_sources_of_kind::*;
 pub use hd_signature::*;
 pub use hd_signature_input::*;
+pub use hidden_constructor::*;
 pub use invalid_transaction_if_neglected::*;
 pub use new_methods_on_sargon_types::*;
 pub use owned_types::*;