Module Coqunit

module Coqunit: sig .. end

val coqtt : Constr.constr