Owl_ext_binop.DMS_Cmodule M = Owl_ext_dense_matrix.Cval lift : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval (+) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (-) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (*) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (/) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (<>) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (<) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (>) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (<=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (>=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (<>.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (<.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (>.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (<=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (>=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ