Up – hax-engine » Fstar_backend » Attrs » U » M » Make0 » Span

Parameter `Make0.Span`

val span : Hax_engine.Ast.span