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.