Module `Ocaml_typing.Mode_intf`

module type Lattice = sig ... end

module type Const = sig ... end

module type Const_product = sig ... end

type equate_step =

| Left_le_right
| Right_le_left

type 'a simple_error = {

left : 'a;
right : 'a;

}

Simple mode error specific to axis whose carrier type is 'a. left is the lower bound of actual mode and right is the upper bound of expected mode. left <= right is false, which is why the submode failed.

type print_error_result =

| Mode
(*
A mode constant is printed
*)
| Mode_with_hint
(*
A mode constant with hints is printed
*)

type print_error =
  (Stdlib.Format.formatter ->
    Ocaml_typing.Mode_intf.print_error_result)
    Ocaml_typing.Mode_intf.simple_error

module type Common = sig ... end

module type Common_axis = sig ... end

module type Axis = sig ... end

module type Common_product = sig ... end

type 'd neg_hint_const =
  'd Ocaml_typing.Allowance.neg Ocaml_typing.Mode_hint.const constraint 'd = _ * _

type 'd pos_hint_const =
  'd Ocaml_typing.Allowance.pos Ocaml_typing.Mode_hint.const constraint 'd = _ * _

type 'd neg_hint_morph =
  'd Ocaml_typing.Allowance.neg Ocaml_typing.Mode_hint.morph constraint 'd = _ * _

type 'd pos_hint_morph =
  'd Ocaml_typing.Allowance.pos Ocaml_typing.Mode_hint.morph constraint 'd = _ * _

module type S = sig ... end

Module Ocaml_typing.Mode_intf

Module `Ocaml_typing.Mode_intf`