owl
Owl_ext_lifts.DMS_DMZ
module M = Owl_dense_matrix.Generic
val unpack_src : Owl_ext_types.ext_typ -> Owl_ext_types.dms
val pack_dst : Owl_ext_types.dmz -> Owl_ext_types.ext_typ
val lift : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ