Project

General

Profile

Download (142 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(2-2/2)