Parameter `Magic_allow_disallow.X`

type ('a, 'b, 'd) sided constraint 'd = 'l * 'r

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

Disallows on the right.

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

Disallows a the left.

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

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

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

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

Parameter Magic_allow_disallow.X