Make_CZ (p.owl.0.7.1.doc.owl.Owl_ext_dense_ndarray.Make

Parameters

module P : PackSig

module M : 
  CZ_Sig
    with type arr := P.arr
     and type elt := P.elt
     and type cast_arr := P.cast_arr

val re : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val im : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val abs : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val abs2 : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val conj : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val sum' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val prod' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val neg : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val reci : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val l1norm' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val l2norm' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val l2norm_sqr' : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ

val ssqr' : 
  Owl_ext_types.ext_typ ->
  Owl_ext_types.ext_typ ->
  Owl_ext_types.ext_typ

val ssqr_diff' : 
  Owl_ext_types.ext_typ ->
  Owl_ext_types.ext_typ ->
  Owl_ext_types.ext_typ