propositional 0.1.0-alpha.2

Propositional Logic
Documentation 
1
2
3
4
5
6
7


use core::hash::Hash;
use std::collections::HashSet;

pub fn unique<T: Hash + std::cmp::Eq>(vec: Vec<T>) -> Vec<T> {
    vec.into_iter().collect::<HashSet<T>>().into_iter().collect()
}