Function lattices::closure_to_bimorphism

source ยท
pub fn closure_to_bimorphism<LatA, LatB, LatOut, F>(
    func: F,
) -> impl LatticeBimorphism<LatA, LatB, Output = LatOut>
where F: FnMut(LatA, LatB) -> LatOut,
Expand description

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