owl
Owl_ext_lifts.DAS_DAD
module M = Owl_dense_ndarray.Generic
val unpack_src : Owl_ext_types.ext_typ -> Owl_ext_types.das
val pack_dst : Owl_ext_types.dad -> Owl_ext_types.ext_typ
val lift : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ