2020-09-28 00:24:36 +02:00
|
|
|
type t =
|
|
|
|
|
| F12 of F12_operator.t
|
|
|
|
|
| Gaussian of Gaussian_operator.t
|
|
|
|
|
| Range_sep of Rs_operator.t
|
2020-09-27 23:55:42 +02:00
|
|
|
|
|
|
|
|
let of_f12 f = F12 f
|
|
|
|
|
let of_gaussian g = Gaussian g
|
2020-09-28 00:24:36 +02:00
|
|
|
let of_range_separation mu = Range_sep mu
|
|
|
|
|
|
