Parameter Magic_allow_disallow.X

type ('a, 'b, 'd) sided constraint 'd = 'l * 'r
val disallow_right : ('a, 'b, 'l * 'r) sided -> ('a, 'b, 'l * disallowed) sided

Disallows on the right.

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

Disallows a the left.

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

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

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

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