Up – hax-engine » Hax_engine » Phase_utils » MakeBase » UB » M » Make » Span

Parameter `Make.Span`

val span : Ast.span