Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / FunctorParsing.mli @ 1d36cd07

History | View | Annotate | Download (613 Bytes)

1 3879f710 Thorsten Wißmann
(* Parsing strings to sort tables *)
2
3
type functorExp =
4
    | Choice of functorExp * functorExp
5
    | Fusion of functorExp * functorExp
6 36bfdafd Thorsten Wißmann
    | Composition of functorExp * functorExp
7 77644d14 Thorsten Wißmann
    | Unary of string list (* a nonempty list of identifiers *)
8 3879f710 Thorsten Wißmann
9
exception FunctorParsingFailed of string
10
11
val stringFromFunctorExp : functorExp -> string
12
val functorExpFromString : string -> functorExp
13
14 68ba7342 Thorsten Wißmann
val sortTableFromFunctorExp : functorExp -> CoAlgReasoner.sortTable
15
16
val sortTableFromString : string -> CoAlgReasoner.sortTable
17
18
val stringFromSortTable : CoAlgReasoner.sortTable -> string
19 3879f710 Thorsten Wißmann
20 a57eb439 Hans-Peter Deifel
21
(* vim: set et sw=2 sts=2 ts=8 : *)