export dsl spec.