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

Parameter `Make0.Span`

val span : Ast.span