Function prop::modal::to_nnpos

source · 
pub fn to_nnpos<A: Prop>(a: A) -> NNPos<A>
Expand description

a => ¬¬◇a.