Module `Hint.Const`

type 'd t constraint 'd = 'l * 'r

Hints that explain constants. The allowance describes if the constant can be on the LHS or RHS of submode.

val unknown : ('l * 'r) Hint.Const.t

The hint for unexplained constants

val max : (Ocaml_typing.Allowance.disallowed * 'r) Hint.Const.t

The hint to explain using max on the RHS of submode.

val min : ('l * Ocaml_typing.Allowance.disallowed) Hint.Const.t

The hint to explain using min on the LHS of submode.

include Ocaml_typing.Allowance.Allow_disallow
  with type (_, _, 'd) sided = 'd Hint.Const.t

type (_, _, 'd) sided = 'd Hint.Const.t

val disallow_right : 
  ('a, 'b, 'l * 'r) Hint.Const.sided ->
  ('a, 'b, 'l * Ocaml_typing.Allowance.disallowed) Hint.Const.sided

Disallows on the right.

val disallow_left : 
  ('a, 'b, 'l * 'r) Hint.Const.sided ->
  ('a, 'b, Ocaml_typing.Allowance.disallowed * 'r) Hint.Const.sided

Disallows a the left.

val allow_right : 
  ('a, 'b, 'l * Ocaml_typing.Allowance.allowed) Hint.Const.sided ->
  ('a, 'b, 'l * 'r) Hint.Const.sided

Generalizes a right-hand-side allowed to be any allowance.

val allow_left : 
  ('a, 'b, Ocaml_typing.Allowance.allowed * 'r) Hint.Const.sided ->
  ('a, 'b, 'l * 'r) Hint.Const.sided

Generalizes a left-hand-side allowed to be any allowance.

Module Hint.Const