jon.recoil.org

Module Crossing.Comonadic

module Atom : sig ... end
type t

The mode crossing capability on the whole comonadic fragment.

include Ocaml_typing.Mode_intf.Lattice with type t := Ocaml_typing.Mode.Crossing.Comonadic.t

equal a b is equivalent to le a b && le b a, but defined separately for performance reasons

Create a mode crossing on the comonadic fragment from the collection of mode crossings on each comonadic axes.

Create the mode crossing for a type whose values are always constructed at the given mode.