package notty-community

  1. Overview
  2. Docs
Declaring terminals

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (1)

Authors

  1. D
    David Kaloper <dk505@cam.ac.uk>

Maintainers

  1. A
    Ali Caglayan <alizter@gmail.com>
  2. A
    Antonin Décimo <antonin@tarides.com>
  3. R
    Romain Calascibetta <romain.calascibetta@gmail.com>

Sources

notty-community-0.2.4.tar.gz
md5=b8cb51edb37d28d9d53e98ac52848677
sha512=8922a190a412790285603ba7ab37f9f58202d9406ebc9e6d3329189eac7fda5c25316264c27b6f7decb8f25f0d78801873b9f16c40e90f020e2c06ab9d058686

doc/src/notty-community.top/notty_top.ml.html

Source file notty_top.ml

1
2
3
4
5
6
7
8
9
10
11
(* Copyright (c) 2017 David Kaloper Meršinjak. All rights reserved.
   See LICENSE.md. *)

(* Force linking with Notty for e.g. Omod. *)
let _ = Sys.opaque_identity Notty.I.empty

#if OCAML_VERSION >= (4,14,0)
let _ = Toploop.use_silently Format.err_formatter (Toploop.File "notty_top_init.ml")
#else
let _ = Toploop.use_silently Format.err_formatter "notty_top_init.ml"
#endif