Module `Allowance.Magic_allow_disallow`

Takes a slow but type-correct Allow_disallow module and returns the magic version, which is faster. NOTE: for this to be sound, the functions in the original module must be identity functions (up to runtime representation).

Parameters

module X : Ocaml_typing.Allowance.Allow_disallow

Signature

type ('a, 'b, 'd) sided = ('a, 'b, 'd) X.sided

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

Disallows on the right.

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

Disallows a the left.

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

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

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

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

Module Allowance.Magic_allow_disallow

Parameters

Signature

Module `Allowance.Magic_allow_disallow`