Function initialize_full

pub fn initialize_full<K, V, Pred: InvariantPredicate<K, V>>(
    k: K,
    t: V,
) -> State<K, V, Pred>