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=de704f2acde11eb11a3a8f7155d1803c

sha512=060969ff333cd36d445a36ccbab4acf5269a4fae5720389e551fb90c303c09a25db23074b7b243634a507ded1e95a927f4a9af209b21924feda41a57140625b7

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