Make (hax-engine.Hax_engine.Backend.Make)

Parameters

module InputLanguage : Features.T

module M : BackendMetadata

module InputLanguage = InputLanguage

module AST : sig ... end

module U : sig ... end

include module type of struct include M end

val backend : Diagnostics.Backend.t

module Error : sig ... end

module Attrs : sig ... end

val failwith : ?span:Span.t -> Hax_engine.Prelude.String.t -> 'a