Up
–
hax-engine
» Coq_ast
Module
Coq_ast
module
type
Library
=
sig
...
end
module
Coq
(
Lib
:
Library
) :
sig
...
end