Up – hax-engine » Hax_engine » Phase_utils » MakeError » Ctx

Parameter `MakeError.Ctx`

val ctx : Diagnostics.Context.t