ortac_dune.ml
ortac-dune.plugin
1 2 3 4 5 6 7 (* generated by dune *) (** @canonical Ortac_dune.Dune_rules *) module Dune_rules = Ortac_dune__Dune_rules (** @canonical Ortac_dune.Qcheck_stm *) module Qcheck_stm = Ortac_dune__Qcheck_stm
1 2 3 4 5 6 7
(* generated by dune *) (** @canonical Ortac_dune.Dune_rules *) module Dune_rules = Ortac_dune__Dune_rules (** @canonical Ortac_dune.Qcheck_stm *) module Qcheck_stm = Ortac_dune__Qcheck_stm