type t =
  Nil
| Int  of int
| Flt  of float
| Cons of t * t
| Id   of string
| Str  of string

val li1 : t -> t

exception Not_SExpr_List

val is_list  : t -> bool
val append   : t -> t -> t
val rem_nil  : t -> t
val flat_map : (t->t) -> t -> t
val aggr_flat_map : ('a -> t -> t * 'a) -> 'a -> t -> t * 'a

val pp_t : Format.formatter -> t -> unit

val parse_inline     : unit -> t Pc.parsr
val parse_inline_end : unit -> t Pc.parsr
val parse_top        : unit -> t Pc.parsr

val parser_tests : string list