Module `Value.List`

include Allowance.Allow_disallow
  with type (_, _, 'd) sided = 'd Mode.Value.t list

type (_, _, 'd) sided = 'd Mode.Value.t list

val disallow_right : 
  ('a, 'b, 'l * 'r) Mode.Value.List.sided ->
  ('a, 'b, 'l * Allowance.disallowed) Mode.Value.List.sided

Disallows on the right.

val disallow_left : 
  ('a, 'b, 'l * 'r) Mode.Value.List.sided ->
  ('a, 'b, Allowance.disallowed * 'r) Mode.Value.List.sided

Disallows a the left.

val allow_right : 
  ('a, 'b, 'l * Allowance.allowed) Mode.Value.List.sided ->
  ('a, 'b, 'l * 'r) Mode.Value.List.sided

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

val allow_left : 
  ('a, 'b, Allowance.allowed * 'r) Mode.Value.List.sided ->
  ('a, 'b, 'l * 'r) Mode.Value.List.sided

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

Module Value.List