Module `Translmode`

val transl_locality_mode_l : 
  (Mode.allowed * 'r) Mode.Locality.t ->
  Lambda.locality_mode

val transl_alloc_mode_l : 
  (Mode.allowed * 'r) Mode.Alloc.t ->
  Lambda.locality_mode

val transl_alloc_mode_r : 
  ('l * Mode.allowed) Mode.Alloc.t ->
  Lambda.locality_mode

val transl_alloc_mode : Typedtree.alloc_mode -> Lambda.locality_mode

val transl_modify_mode : 
  (Mode.allowed * 'r) Mode.Locality.t ->
  Lambda.modify_mode

val transl_unique_barrier : Typedtree.Unique_barrier.t -> Lambda.unique_barrier

Module Translmode