Up – Package index » coq-core » Library tuto1_plugin » Tuto1_plugin

Module `Tuto1_plugin`Source

Sourcemodule G_tuto1 : sig ... end

Sourcemodule Inspector : sig ... end

Sourcemodule Simple_check : sig ... end

Sourcemodule Simple_declare : sig ... end

Sourcemodule Simple_print : sig ... end