crate fn normalize_deep<T: Fold>(&mut self, value: &T) -> T::Result {
        value
            .fold_with(&mut DeepNormalizer { table: self }, 0)
            .unwrap()
    }
/// Given a value `value` with variables in it, replaces those variables
/// with their instantiated values (if any). Uninstantiated variables are
/// left as-is.
///
/// This is mainly intended for getting final values to dump to
/// the user and its use should otherwise be avoided, particularly
/// given the possibility of snapshots and rollbacks.
///
/// See also `InferenceTable::canonicalize`, which -- during real
/// processing -- is often used to capture the "current state" of
/// variables.
Given a value `value` with variables in it, replaces those variables
with their instantiated values (if any). Uninstantiated variables are
left as-is.

This is mainly intended for getting final values to dump to
the user and its use should otherwise be avoided, particularly
given the possibility of snapshots and rollbacks.

See also `InferenceTable::canonicalize`, which -- during real
processing -- is often used to capture the "current state" of
variables.
Given a value ` value ` with variables in it replaces those variables with their instantiated values ( if any ) . Uninstantiated variables are left as - is . This is mainly intended for getting final values to dump to the user and its use should otherwise be avoided particularly given the possibility of snapshots and rollbacks . See also ` InferenceTable :: canonicalize ` which -- during real processing -- is often used to capture the " current state " of variables .
crate fn normalize_deep<T: Fold>(&mut self, value: &T) -> T::Result {
        value
            .fold_with(&mut DeepNormalizer { table: self }, 0)
            .unwrap()
    }
crate fn normalize_deep < T : Fold > ( & mut self , value : & T ) -> T :: Result { value . fold_with ( & mut DeepNormalizer { table : self } , 0 ) . unwrap ( ) }
Given a value `value` with variables in it, replaces those variables
with their instantiated values (if any).
Given a value ` value ` with variables in it replaces those variables with their instantiated values ( if any ) .
&mut self
value
&T
&mut self
value
&T