Project

General

Profile

Revision 2863281f src/mpfr.ml

View differences:

src/mpfr.ml
14 14
open Machine_code_types
15 15
open Corelang
16 16
open Normalization
17
open Machine_code
17
open Machine_code_common
18 18

  
19 19
let mpfr_module = mktop (Open(false, "mpfr_lustre"))
20 20
let cpt_fresh = ref 0

Also available in: Unified diff