jon.recoil.org

Module Ast.Narrow

Witness types for narrowing vector operations. Narrowing: element count stays the same, element size halves. 8H->8B, 4S->4H, 2D->2S

type ('src_arr, 'src_w, 'dst_arr, 'dst_w) t =
  1. | V8B_V8H : ([ `V8H ], [ `H ], [ `V8B ], [ `B ]) t
  2. | V4H_V4S : ([ `V4S ], [ `S ], [ `V4H ], [ `H ]) t
  3. | V2S_V2D : ([ `V2D ], [ `D ], [ `V2S ], [ `S ]) t