Up
module
CoqBackend
:
sig
#
module
Run :
functor
(T :
sig
end
)
->
sig
#
val
write_all :
Pervasives
.
out_channel
->
unit
end
end