lustrec/src/backends/backends.mli @ a7062da6
1 |
val setup: unit -> unit |
---|---|
2 |
val is_functional: unit -> bool |
3 |
val join_guards: bool ref |
4 |
val get_normalization_params: unit -> Normalization.param_t |
- « Previous
- 1
- 2
- Next »