Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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