typeside t
schema s : rdf
schema s2 : rdf
----------------------------------
query (spanify_mapping literal : s -> s2 {}) : spanify s2 -> spanify s
Given a relational olog encoded as a CQL schema as a source, and another as a target, and a CQL mapping from the former to the latter, emit a query from the spanified latter to the spanified former.