On this page:
3.17.1 The S-Exp Datatype
S-Exp
s-list
s-num
s-str
s-sym
is-s-list
is-s-num
is-s-str
is-s-sym

3.17 s-exp-structs

Usage:
include s-exp-structs
import s-exp-structs as ...

3.17.1 The S-Exp Datatype

This datatype defines the result of parsing s-expressions. See read-s-exp for more details and examples.

data S-Exp:
| s-list(exps :: List<S-Exp>)
| s-num(n :: Number)
| s-str(s :: String)
| s-sym(s :: String)
end

s-list :: (exps :: List<S-Exp>) -> S-Exp

s-num :: (n :: Number) -> S-Exp

s-str :: (s :: String) -> S-Exp

s-sym :: (s :: String) -> S-Exp

is-s-list :: (val :: Any) -> Boolean

is-s-num :: (val :: Any) -> Boolean

is-s-str :: (val :: Any) -> Boolean

is-s-sym :: (val :: Any) -> Boolean