[ cI:Complex.t ] = cinv (c:Complex.t)
[] let c = complex(1.0,-1.0);; [] cinv c;; - : Complex.t = 0.5, 0.5