Function lattices::closure_to_morphism

source ยท 
pub fn closure_to_morphism<LatIn, LatOut, F>(
    func: F,
) -> impl LatticeMorphism<LatIn, Output = LatOut>
where
    F: FnMut(LatIn) -> LatOut,
Expand description

Converts a closure to a morphism. Does not check for correctness.