Hello.
I've asked about ocamlbuild on irc, but without any success,
so I'll try to ask in caml-list now.
Has anybody tried to compile OCaml + Coq project with ocamlbuild?
Here is an attempt to make plugin:
https://bitbucket.org/gds/ocamlbuild-coq-attempt
, but the plugin doesn't work as
Dear all,
With the advent of first-class modules, I find myself more and more wanting
to write functors with only one (value) component, just to benefit from
type dependencies. Here is an example (randomly) extracted from Oleg
Kiselyov and Jeremy Yallop:
type a and b
module type TC = sig type