Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/backends.mli | ||
---|---|---|
1 | 1 |
val setup: unit -> unit |
2 | 2 |
val is_functional: unit -> bool |
3 | 3 |
val join_guards: bool ref |
4 |
val get_normalization_params: unit -> Normalization.param_t |
Also available in: Unified diff
another step towards refactoring