Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgLogics.mli @ de84f40d

History | View | Annotate | Download (204 Bytes)

1
(** The "plug-in" functions for each individual logic.
2
    @author Florian Widmann
3
 *)
4

    
5

    
6
open CoAlgMisc
7

    
8

    
9
val getExpandingFunctionProducer : functors -> sort -> bset -> bset -> sort list -> stateExpander