Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (613 Bytes)

1
(* Parsing strings to sort tables *)
2

    
3
type functorExp =
4
    | Choice of functorExp * functorExp
5
    | Fusion of functorExp * functorExp
6
    | Composition of functorExp * functorExp
7
    | Unary of string list (* a nonempty list of identifiers *)
8

    
9
exception FunctorParsingFailed of string
10

    
11
val stringFromFunctorExp : functorExp -> string
12
val functorExpFromString : string -> functorExp
13

    
14
val sortTableFromFunctorExp : functorExp -> CoAlgReasoner.sortTable
15

    
16
val sortTableFromString : string -> CoAlgReasoner.sortTable
17

    
18
val stringFromSortTable : CoAlgReasoner.sortTable -> string
19

    
20

    
21
(* vim: set et sw=2 sts=2 ts=8 : *)