package ortac-dune

You can search for identifiers within the package.

in-package search v0.2.0

Generate dune rules for other ortac plugins

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

N

Nicolas Osborne <nicolas.osborne@tarides.com>

Maintainers

N

Nicolas Osborne <nicolas.osborne@tarides.com>

Sources

md5=7b609fa38f431a7e947e2c068180a983

sha512=e9d5339877242ce639d42e7dcfe97a05aadb28f45822251894418405e02394af041317a7edfe6181fe644594d94c0c551a5558fbc3857204368c1f7921aa6031

doc/ortac-dune.plugin/Ortac_dune/Qcheck_stm/index.html

Module `Ortac_dune.Qcheck_stm`Source

Sourcetype config = {

interface_file : string;
config_file : string option;
ocaml_output : string option;
library : string option;
package_name : string option;
dune_output : string option;
module_prefix : string option;
submodule : string option;
fork_timeout : int option;

}

Sourceval gen_dune_rules : config Fmt.t