(html (head (title "sph-lib (sph lang indent-syntax)") (link (@ (rel "icon") (href "data:,"))) (meta (@ (name "viewport") (content "width=device-width,initial-scale=1"))) (link (@ (rel "stylesheet") (type "text/css") (href "/css/sph.css"))) #f) (body () (div (@ (class top)) (nav (a (@ (href "/")) "start") ", " (a (@ (href "/feed.xml")) "feed")) "") (div (@ (class "middle")) (div (@ (class mtime) (title "last modification time of the current page")) "2025-08-29") (section (h1 "(sph lang indent-syntax)") (div "" (p "part of " (a (@ (href "../../sph-lib.html")) "sph-lib")) (#f (section (@ (class "library-name")) (h1 "module name") (p "(sph lang indent-syntax)")) (section (@ (class "library-exports")) (h1 "exported bindings") (div (div (@ (class "doc-bindings")) (div (@ (id "doc-b-" "denoted-tree->indent-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "denoted-tree->indent-tree") " " (span (@ (class "first-sig")) "xs [base-depth indent-string] ->")) "" "") (div (@ (id "doc-b-" "denoted-tree->indent-tree-lines") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "denoted-tree->indent-tree-lines") " " (span (@ (class "first-sig")) "xs [base-depth indent-string] ->")) "" "") (div (@ (id "doc-b-" "indent-tree->denoted-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "indent-tree->denoted-tree") " " (span (@ (class "first-sig")) "a [indent-width] ->")) "" "") (div (@ (id "doc-b-" "indent-tree->prefix-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "indent-tree->prefix-tree") " " (span (@ (class "first-sig")) "a [indent-width] ->")) "" "") (div (@ (id "doc-b-" "indent-tree->range-delimited-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "indent-tree->range-delimited-tree") " " (span (@ (class "first-sig")) "s indent-char indent-width start-delim end-delim ->")) "" "") (div (@ (id "doc-b-" "line->indent-and-content") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "line->indent-and-content") " " (span (@ (class "first-sig")) "s indent-width ->")) "" "") (div (@ (id "doc-b-" "prefix-tree->indent-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "prefix-tree->indent-tree") " " (span (@ (class "first-sig")) "xs [base-depth indent-string] ->")) "" "") (div (@ (id "doc-b-" "prefix-tree-text") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "prefix-tree-text") " " (span (@ (class "first-sig")) "xs ->")) "" "") (div (@ (id "doc-b-" "read-indent-tree->denoted-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "read-indent-tree->denoted-tree") " " (span (@ (class "first-sig")) "port [indent-width] ->")) "" "") (div (@ (id "doc-b-" "read-indent-tree-element->denoted-tree") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "read-indent-tree-element->denoted-tree") " " (span (@ (class "first-sig")) "port [indent-width] ->")) "" "") (div (@ (id "doc-b-" "string->indent-depth") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "string->indent-depth") " " (span (@ (class "first-sig")) "s indent-width ->")) "" "")))))))) ()))