package ortac-core

You can search for identifiers within the package.

in-package search v0.2.0

Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel

Install

md5=7b609fa38f431a7e947e2c068180a983

sha512=e9d5339877242ce639d42e7dcfe97a05aadb28f45822251894418405e02394af041317a7edfe6181fe644594d94c0c551a5558fbc3857204368c1f7921aa6031

Sourcetype plugins

Sourceval plugins : plugins

Sourceval register : unit Cmdliner.Cmd.t -> unit

Sourceval fold : ('a -> unit Cmdliner.Cmd.t -> 'a) -> 'a -> plugins -> 'a

Sourceval get_out_formatter : string option -> Format.formatter

Sourceval setup_log : unit Cmdliner.Term.t

Sourceval include_ : string option Cmdliner.Term.t

Sourceval output_file : string option Cmdliner.Term.t

Sourceval ocaml_file : string Cmdliner.Term.t

Sourceval quiet : bool Cmdliner.Term.t