Sourcemodule Tezt_core : sig ... end