Qualified Block Kinds

Block and table kinds are namespace-scoped; a ::-qualified kind picks a schema from a specific namespace.

§ 1Qualified block kinds

Block (and table) kinds are namespace-scoped too. A ::-qualified kind at the instance site selects the @block declaration from that namespace, even when a local declaration shadows the bare kind.

import <wdoc.wcl>

// A local @block("process") shadows the bare kind...
@block("process") type MyProcess { @inline(0) text: utf8  cost: i64 }

process "mine" { cost = 3 }          // -> MyProcess (local wins)
wdoc::process "theirs" { }           // -> wdoc's Process, explicitly

§ 2How bare names resolve

A bare kind prefers a declaration in the referencing file's own namespace; otherwise it falls back to an imported one. So a user @block("process") deterministically shadows a library's. Two same-kind declarations in the same namespace are an error; the same kind across different namespaces is fine — disambiguate at the instance with ::.