owl
Make_Basic.P
type mat
type elt
type cast_mat
val pack_box : mat -> Owl_ext_types.ext_typ
val unpack_box : Owl_ext_types.ext_typ -> mat
val pack_elt : elt -> Owl_ext_types.ext_typ
val unpack_elt : Owl_ext_types.ext_typ -> elt
val pack_cast_box : cast_mat -> Owl_ext_types.ext_typ