Add docs for -> DSL