Up – Package index » papi » Sources » papi.top » papi_top.ml

Source file `papi_top.ml`

papi
- CHANGES
- LICENSE
- README
- Library papi
  - Papi
- Library papi.top
  - Papi_top
- Sources
  - papi
    - papi.ml
  - papi.top
    - papi_top.ml

1
2
3
4
(* Copyright (c) 2019 David Kaloper Meršinjak. All rights reserved.
   See LICENSE.md *)

let _ = Toploop.use_silently Format.err_formatter "papi_top_init.ml"