Up – hax-engine » Hax_engine » Phase_reject » Continue » UB » M » Make » Span

Parameter `Make.Span`

val span : Ast.span