Up – Package index » interval_crlibm » Sources » interval_crlibm » interval_crlibm__.ml

Source file `interval_crlibm__.ml`

interval_crlibm
- CHANGES
- LICENSE
- README
- Library interval_crlibm
  - Interval_crlibm
- Sources
  - interval_crlibm

1
2
3
4
(* generated by dune *)

(** @canonical Interval_crlibm.Generic *)
module Generic = Interval_crlibm__Generic