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=15d9aa0fb63a79a5444b35970910c5c4

sha512=3a9162a91c4556553d3105de446e59247360ca2f0bd984124fac330854410d336aed7af252ae73ab7148f8b8f389601cc46e5b783e3bba9a7390df9009e5e10a

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