Skip to main content

exists_construct

prop::hooo

Function exists_construct 

Source 
pub fn exists_construct<A: Prop>(a: A) -> Exists<A, A>
Expand description

a => ∃ a { a }.