(html (head (title "sph-lib (sph documentation itpn)") (link (@ (rel "stylesheet") (type "text/css") (href "/css/sph.css"))) (meta (@ (name "viewport") (content "width=device-width,initial-scale=1"))) #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")) "2020-07-31") (section (h1 "(sph documentation itpn)") (div "" (p "part of " (a (@ (href "../../sph-lib.html")) "sph-lib")) (#f (section (@ (class "library-name")) (h1 "module name") (p "(sph documentation itpn)")) (section (@ (class "library-exports")) (h1 "exported bindings") (div (div (@ (class "doc-bindings")) (div (@ (id "doc-b-" "documentation-itpn-libraries") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "documentation-itpn-libraries") " " (span (@ (class "first-sig")) "library-names [nesting-depth map-binding-name map-library-name] ->")) (div (@ (class "rest-sig")) (div "((symbol ...) ...) integer [{symbol list:library-name -> string} {list:library-name -> string}] -> string")) (div (@ (class "description")) (("list of binding and library name." (br) "((mapped-binding-name mapped-library-name) ...)")))) (div (@ (id "doc-b-" "documentation-itpn-library") (class "doc-b")) (div (span (@ (class "type")) "procedure") ": " (span (@ (class "name")) "documentation-itpn-library") " " (span (@ (class "first-sig")) "nesting-depth library-names ... ->")) (div (@ (class "rest-sig")) (div "((symbol ...) ...) integer -> string")) (div (@ (class "description")) (("index of all bindings in a module and a listing of the available binding documentation"))))))))))) ()))