let (co-)comparability take lattices directly
let (co-)comparability take lattices directly

exot/conexp-clj,fcatools/conexp-clj,exot/conexp-clj,fcatools/conexp-clj,fcatools/conexp-clj,exot/conexp-clj,fcatools/conexp-clj,fcatools/conexp-clj,exot/conexp-clj,exot/conexp-clj