Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/plugins/mpfr/lustrec_mpfr.mli | ||
---|---|---|
1 |
open Utils |
|
2 |
open Format |
|
3 |
open Lustre_types |
|
4 |
open Machine_code_types |
|
5 |
|
|
1 | 6 |
val unfoldable_value: Machine_code_types.value_t -> bool |
7 |
val inject_prog: program_t -> program_t |
|
8 |
|
|
9 |
val mpfr_t: string |
|
10 |
|
|
11 |
val mpfr_rnd: unit -> string |
|
12 |
val mpfr_prec: unit -> int |
|
13 |
|
|
14 |
val is_homomorphic_fun: ident -> bool |
|
15 |
|
|
16 |
val pp_inject_init: (formatter -> 'a -> unit) -> formatter -> 'a -> unit |
|
17 |
val pp_inject_clear: (formatter -> 'a -> unit) -> formatter -> 'a -> unit |
|
18 |
val pp_inject_assign: (formatter -> value_t -> unit) -> formatter -> value_t * value_t -> unit |
|
19 |
val pp_inject_real: (formatter -> 'a -> unit) -> (formatter -> 'b -> unit) -> formatter -> 'a * 'b -> unit |
Also available in: Unified diff
another step towards refactoring