Owl_ext_uniopval error_uniop : string -> Owl_ext_types.ext_typ -> 'amodule F : sig ... endmodule C : sig ... endmodule DAS : sig ... endmodule DAD : sig ... endmodule DMS : sig ... endmodule DMD : sig ... endmodule DAC : sig ... endmodule DAZ : sig ... endmodule DMC : sig ... endmodule DMZ : sig ... endval 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_typ