Project

General

Profile

Revision 1a05d45a src/plugins/mpfr/mpfr.ml

View differences:

src/plugins/mpfr/mpfr.ml
123 123
  | "sqrt" -> "MPFRsqrt"
124 124
  | "trunc" -> "MPFRtrunc"
125 125
  | "tan" -> "MPFRtan"
126

  
127
           
128
  | "pow"    -> "MPFRpow"
129 126
  | _        -> raise Not_found
130 127

  
131 128
let inject_op id =

Also available in: Unified diff