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

dune-project

Dependency

md5=6e521befae9a62b50eab08b641caaee8

sha512=5cd4a6b1c8745c19275d2a8f4c95427779d16b9180f1de075e48f5090208ad0d731fec1ba9426b2b69715679d4e144ebffda8e8473fd0e5db7e5db9fdbcde0ca

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