Module Alloc.List
include Ocaml_typing.Allowance.Allow_disallow
with type (_, _, 'd) sided = 'd Ocaml_typing.Mode.Alloc.t list
type (_, _, 'd) sided = 'd Ocaml_typing.Mode.Alloc.t listval disallow_right :
('a, 'b, 'l * 'r) Ocaml_typing.Mode.Alloc.List.sided ->
('a, 'b, 'l * Ocaml_typing.Allowance.disallowed)
Ocaml_typing.Mode.Alloc.List.sidedDisallows on the right.
val disallow_left :
('a, 'b, 'l * 'r) Ocaml_typing.Mode.Alloc.List.sided ->
('a, 'b, Ocaml_typing.Allowance.disallowed * 'r)
Ocaml_typing.Mode.Alloc.List.sidedDisallows a the left.
val allow_right :
('a, 'b, 'l * Ocaml_typing.Allowance.allowed)
Ocaml_typing.Mode.Alloc.List.sided ->
('a, 'b, 'l * 'r) Ocaml_typing.Mode.Alloc.List.sidedGeneralizes a right-hand-side allowed to be any allowance.
val allow_left :
('a, 'b, Ocaml_typing.Allowance.allowed * 'r)
Ocaml_typing.Mode.Alloc.List.sided ->
('a, 'b, 'l * 'r) Ocaml_typing.Mode.Alloc.List.sidedGeneralizes a left-hand-side allowed to be any allowance.