Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (241 Bytes)

1 4fd28192 Thorsten WiƟmann
(** The "plug-in" functions for each individual logic.
2
    @author Florian Widmann
3
 *)
4
5
6
open CoAlgMisc
7
8
9 16af388e Christoph Egger
val getExpandingFunctionProducer : functors -> sort -> bset -> bset -> sort list -> stateExpander
10 a57eb439 Hans-Peter Deifel
11
(* vim: set et sw=2 sts=2 ts=8 : *)