modularityimports
Module interface requirements
A boundary file that links modules without pulling in their internals.
import "../billing/interface.rq" as billing
import "../auth/interface.rq" as auth
checkout {
must call [billing.charge] after [auth.session] is valid
@references: ({ [billing.refund_policy] })
}