type token =
  | EQUAL
  | BAR
  | STAR
  | LPAREN
  | RPAREN
  | COMMA
  | DOT
  | MINUSGREATER
  | EOF
  | UIDENT of (string)
  | LIDENT of (string)

val spec :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> (Algdt_types.tp_name, Algdt_types.cnstr_name) Algdt_types.type_defs
val data :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Algdt_types.cnstr_name Algdt_types.data option
val data_sample :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Algdt_types.cnstr_name Algdt_types.data_sample option
val lhs_data :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Algdt_types.cnstr_name Algdt_types.data option
val rhs_data :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Algdt_types.cnstr_name Algdt_types.data option