Blas_flat.Complexval dotu : 
  Vector_complex_flat.vector ->
  Vector_complex_flat.vector ->
  Gsl_complex.complexval dotc : 
  Vector_complex_flat.vector ->
  Vector_complex_flat.vector ->
  Gsl_complex.complexval nrm2 : Vector_complex_flat.vector -> floatval asum : Vector_complex_flat.vector -> floatval iamax : Vector_complex_flat.vector -> intval swap : Vector_complex_flat.vector -> Vector_complex_flat.vector -> unitval copy : Vector_complex_flat.vector -> Vector_complex_flat.vector -> unitval axpy : 
  Gsl_complex.complex ->
  Vector_complex_flat.vector ->
  Vector_complex_flat.vector ->
  unitval scal : Gsl_complex.complex -> Vector_complex_flat.vector -> unitval zdscal : float -> Vector_complex_flat.vector -> unitval gemv : 
  transpose ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  x:Vector_complex_flat.vector ->
  beta:Gsl_complex.complex ->
  y:Vector_complex_flat.vector ->
  unitval trmv : 
  uplo ->
  transpose ->
  diag ->
  a:Matrix_complex_flat.matrix ->
  x:Vector_complex_flat.vector ->
  unitval trsv : 
  uplo ->
  transpose ->
  diag ->
  a:Matrix_complex_flat.matrix ->
  x:Vector_complex_flat.vector ->
  unitval hemv : 
  uplo ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  x:Vector_complex_flat.vector ->
  beta:Gsl_complex.complex ->
  y:Vector_complex_flat.vector ->
  unitval geru : 
  alpha:Gsl_complex.complex ->
  x:Vector_complex_flat.vector ->
  y:Vector_complex_flat.vector ->
  a:Matrix_complex_flat.matrix ->
  unitval gerc : 
  alpha:Gsl_complex.complex ->
  x:Vector_complex_flat.vector ->
  y:Vector_complex_flat.vector ->
  a:Matrix_complex_flat.matrix ->
  unitval her : 
  uplo ->
  alpha:float ->
  x:Vector_complex_flat.vector ->
  a:Matrix_complex_flat.matrix ->
  unitval her2 : 
  uplo ->
  alpha:Gsl_complex.complex ->
  x:Vector_complex_flat.vector ->
  y:Vector_complex_flat.vector ->
  a:Matrix_complex_flat.matrix ->
  unitval gemm : 
  ta:transpose ->
  tb:transpose ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  beta:Gsl_complex.complex ->
  c:Matrix_complex_flat.matrix ->
  unitval symm : 
  side ->
  uplo ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  beta:Gsl_complex.complex ->
  c:Matrix_complex_flat.matrix ->
  unitval syrk : 
  uplo ->
  transpose ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  beta:Gsl_complex.complex ->
  c:Matrix_complex_flat.matrix ->
  unitval syr2k : 
  uplo ->
  transpose ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  beta:Gsl_complex.complex ->
  c:Matrix_complex_flat.matrix ->
  unitval trmm : 
  side ->
  uplo ->
  transpose ->
  diag ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  unitval trsm : 
  side ->
  uplo ->
  transpose ->
  diag ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  unitval hemm : 
  side ->
  uplo ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  beta:Gsl_complex.complex ->
  c:Matrix_complex_flat.matrix ->
  unitval herk : 
  uplo ->
  transpose ->
  alpha:float ->
  a:Matrix_complex_flat.matrix ->
  beta:float ->
  c:Matrix_complex_flat.matrix ->
  unitval her2k : 
  uplo ->
  transpose ->
  alpha:Gsl_complex.complex ->
  a:Matrix_complex_flat.matrix ->
  b:Matrix_complex_flat.matrix ->
  beta:float ->
  c:Matrix_complex_flat.matrix ->
  unit