merlin-lib.ocaml_typing
Comonadic.Atom
merlin-lib.analysis
merlin-lib.commands
merlin-lib.config
merlin-lib.dot_protocol
merlin-lib.extend
merlin-lib.index_format
merlin-lib.kernel
merlin-lib.ocaml_merlin_specific
merlin-lib.ocaml_parsing
merlin-lib.ocaml_preprocess
merlin-lib.ocaml_utils
merlin-lib.os_ipc
merlin-lib.query_commands
merlin-lib.query_protocol
merlin-lib.sherlodoc
merlin-lib.utils
ppxlib
yojson
type 'a t =
| Meet_with of 'a
Meet_with c takes x and returns meet c x. c can be max in which case it's the identity modality.
Meet_with c
x
meet c x
c
max