Module `Backend.Make`

Parameters

module InputLanguage : Features.T

module M : BackendMetadata

Signature

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

deprecated Use more precise errors: Error.unimplemented, Error.assertion_failure or a raw Error.t (with Error.raise)