Owl_extExtension: interoperation on different number types
include module type of struct include Owl_ext_types endtype dms = (float, Bigarray.float32_elt, Bigarray.c_layout) Bigarray.Genarray.ttype dmd = (float, Bigarray.float64_elt, Bigarray.c_layout) Bigarray.Genarray.ttype dmc =
(Complex.t, Bigarray.complex32_elt, Bigarray.c_layout) Bigarray.Genarray.ttype dmz =
(Complex.t, Bigarray.complex64_elt, Bigarray.c_layout) Bigarray.Genarray.ttype das = (float, Bigarray.float32_elt, Bigarray.c_layout) Bigarray.Genarray.ttype dad = (float, Bigarray.float64_elt, Bigarray.c_layout) Bigarray.Genarray.ttype dac =
(Complex.t, Bigarray.complex32_elt, Bigarray.c_layout) Bigarray.Genarray.ttype daz =
(Complex.t, Bigarray.complex64_elt, Bigarray.c_layout) Bigarray.Genarray.ttype sms = (float, Bigarray.float32_elt) Owl_sparse_matrix_generic.ttype smd = (float, Bigarray.float64_elt) Owl_sparse_matrix_generic.ttype smc = (Complex.t, Bigarray.complex32_elt) Owl_sparse_matrix_generic.ttype smz = (Complex.t, Bigarray.complex64_elt) Owl_sparse_matrix_generic.ttype sas = (float, Bigarray.float32_elt) Owl_sparse_ndarray_generic.ttype sad = (float, Bigarray.float64_elt) Owl_sparse_ndarray_generic.ttype sac = (Complex.t, Bigarray.complex32_elt) Owl_sparse_ndarray_generic.ttype saz = (Complex.t, Bigarray.complex64_elt) Owl_sparse_ndarray_generic.ttype ('a, 'b, 'c, 'd) typ = ('a, 'b, 'c, 'd) Owl_ext_types.typ = | TYP_F : float -> (dns, num, flt, p64) typ| TYP_C : Complex.t -> (dns, num, cpx, p64) typ| TYP_DMS : dms -> (dns, mat, flt, p32) typ| TYP_DMD : dmd -> (dns, mat, flt, p64) typ| TYP_DMC : dmc -> (dns, mat, cpx, p32) typ| TYP_DMZ : dmz -> (dns, mat, cpx, p64) typ| TYP_DAS : das -> (dns, arr, flt, p32) typ| TYP_DAD : dad -> (dns, arr, flt, p64) typ| TYP_DAC : dac -> (dns, arr, cpx, p32) typ| TYP_DAZ : daz -> (dns, arr, cpx, p64) typ| TYP_SMS : sms -> (sps, mat, flt, p32) typ| TYP_SMD : smd -> (sps, mat, flt, p64) typ| TYP_SMC : sms -> (sps, mat, cpx, p32) typ| TYP_SMZ : smd -> (sps, mat, cpx, p64) typ| TYP_SAS : sas -> (sps, arr, flt, p32) typ| TYP_SAD : sad -> (sps, arr, flt, p64) typ| TYP_SAC : sac -> (sps, arr, cpx, p32) typ| TYP_SAZ : saz -> (sps, arr, cpx, p64) typval type_info : ext_typ -> stringval pack_flt : float -> ext_typval unpack_flt : ext_typ -> floatinclude module type of struct include Owl_ext_uniop endval error_uniop : string -> Owl_ext_types.ext_typ -> 'amodule F = Owl_ext_uniop.Fmodule C = Owl_ext_uniop.Cmodule DAS = Owl_ext_uniop.DASmodule DAD = Owl_ext_uniop.DADmodule DMS = Owl_ext_uniop.DMSmodule DMD = Owl_ext_uniop.DMDmodule DAC = Owl_ext_uniop.DACmodule DAZ = Owl_ext_uniop.DAZmodule DMC = Owl_ext_uniop.DMCmodule DMZ = Owl_ext_uniop.DMZval re : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval im : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval conj : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval min' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval max' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval minmax' :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ * Owl_ext_types.ext_typval min_i : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ * int arrayval max_i : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ * int arrayval minmax_i :
Owl_ext_types.ext_typ ->
(Owl_ext_types.ext_typ * int array) * (Owl_ext_types.ext_typ * int array)val inv : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval trace : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval sum' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval prod' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval abs : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval abs2 : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval neg : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval reci : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval signum : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval sqr : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval sqrt : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval cbrt : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval exp : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval exp2 : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval expm1 : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval log : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval log10 : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval log2 : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval log1p : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval sin : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval cos : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval tan : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval asin : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval acos : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval atan : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval sinh : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval cosh : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval tanh : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval asinh : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval acosh : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval atanh : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval floor : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval ceil : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval round : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval trunc : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval erf : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval erfc : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval logistic : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval relu : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval softplus : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval softsign : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval softmax : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval sigmoid : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval log_sum_exp' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval l1norm' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval l2norm' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typval l2norm_sqr' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typinclude module type of struct include Owl_ext_binop endval error_binop :
string ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
'amodule F_F = Owl_ext_binop.F_Fmodule F_C = Owl_ext_binop.F_Cmodule C_F = Owl_ext_binop.C_Fmodule C_C = Owl_ext_binop.C_Cmodule F_DAS = Owl_ext_binop.F_DASmodule DAS_F = Owl_ext_binop.DAS_Fmodule DAS_DAS = Owl_ext_binop.DAS_DASmodule F_DAD = Owl_ext_binop.F_DADmodule DAD_F = Owl_ext_binop.DAD_Fmodule DAD_DAD = Owl_ext_binop.DAD_DADmodule F_DMS = Owl_ext_binop.F_DMSmodule DMS_F = Owl_ext_binop.DMS_Fmodule DMS_DMS = Owl_ext_binop.DMS_DMSmodule F_DMD = Owl_ext_binop.F_DMDmodule DMD_F = Owl_ext_binop.DMD_Fmodule DMD_DMD = Owl_ext_binop.DMD_DMDmodule C_DAC = Owl_ext_binop.C_DACmodule DAC_C = Owl_ext_binop.DAC_Cmodule DAC_DAC = Owl_ext_binop.DAC_DACmodule C_DAZ = Owl_ext_binop.C_DAZmodule DAZ_C = Owl_ext_binop.DAZ_Cmodule DAZ_DAZ = Owl_ext_binop.DAZ_DAZmodule C_DMC = Owl_ext_binop.C_DMCmodule DMC_C = Owl_ext_binop.DMC_Cmodule DMC_DMC = Owl_ext_binop.DMC_DMCmodule C_DMZ = Owl_ext_binop.C_DMZmodule DMZ_C = Owl_ext_binop.DMZ_Cmodule DMZ_DMZ = Owl_ext_binop.DMZ_DMZmodule DAS_DAD = Owl_ext_binop.DAS_DADmodule DAD_DAS = Owl_ext_binop.DAD_DASmodule DAC_DAZ = Owl_ext_binop.DAC_DAZmodule DAZ_DAC = Owl_ext_binop.DAZ_DACmodule DMS_DMD = Owl_ext_binop.DMS_DMDmodule DMD_DMS = Owl_ext_binop.DMD_DMSmodule DMC_DMZ = Owl_ext_binop.DMC_DMZmodule DMZ_DMC = Owl_ext_binop.DMZ_DMCmodule F_DAC = Owl_ext_binop.F_DACmodule DAC_F = Owl_ext_binop.DAC_Fmodule F_DAZ = Owl_ext_binop.F_DAZmodule DAZ_F = Owl_ext_binop.DAZ_Fmodule C_DAS = Owl_ext_binop.C_DASmodule DAS_C = Owl_ext_binop.DAS_Cmodule C_DAD = Owl_ext_binop.C_DADmodule DAD_C = Owl_ext_binop.DAD_Cmodule DAS_DAC = Owl_ext_binop.DAS_DACmodule DAC_DAS = Owl_ext_binop.DAC_DASmodule DAD_DAZ = Owl_ext_binop.DAD_DAZmodule DAZ_DAD = Owl_ext_binop.DAZ_DADmodule F_DMC = Owl_ext_binop.F_DMCmodule DMC_F = Owl_ext_binop.DMC_Fmodule F_DMZ = Owl_ext_binop.F_DMZmodule DMZ_F = Owl_ext_binop.DMZ_Fmodule C_DMS = Owl_ext_binop.C_DMSmodule DMS_C = Owl_ext_binop.DMS_Cmodule C_DMD = Owl_ext_binop.C_DMDmodule DMD_C = Owl_ext_binop.DMD_Cmodule DMS_DMC = Owl_ext_binop.DMS_DMCmodule DMC_DMS = Owl_ext_binop.DMC_DMSmodule DMD_DMZ = Owl_ext_binop.DMD_DMZmodule DMZ_DMD = Owl_ext_binop.DMZ_DMDmodule DAS_DAZ = Owl_ext_binop.DAS_DAZmodule DAZ_DAS = Owl_ext_binop.DAZ_DASmodule DMS_DMZ = Owl_ext_binop.DMS_DMZmodule DMZ_DMS = Owl_ext_binop.DMZ_DMSmodule DAC_DAD = Owl_ext_binop.DAC_DADmodule DAD_DAC = Owl_ext_binop.DAD_DACmodule DMC_DMD = Owl_ext_binop.DMC_DMDmodule DMD_DMC = Owl_ext_binop.DMD_DMCval (+) :
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_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_typval min2 :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval max2 :
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 atan2 :
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 ->
Owl_ext_types.ext_typmodule Dense : sig ... end