Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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