sig
  type token = STRING of string | LPAREN | RPAREN | EOF | HASH_SEMI
  val sexp : (Lexing.lexbuf -> Parser.token) -> Lexing.lexbuf -> Type.t
  val sexp_opt :
    (Lexing.lexbuf -> Parser.token) -> Lexing.lexbuf -> Type.t option
  val sexps : (Lexing.lexbuf -> Parser.token) -> Lexing.lexbuf -> Type.t list
  val rev_sexps :
    (Lexing.lexbuf -> Parser.token) -> Lexing.lexbuf -> Type.t list
end