Module LlvmSledge

module LlvmSledgeFrontendStubs : sig ... end

dummy version of LlvmSledgeFrontend