setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_Parser
type token =
| LB
| RB
| EOF
| TRUE
| FALSE
| HELP
| IDENT of string
| INT of string
| STRING of string