contrib/extraction/test/e


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


(* To trace Extraction, you can use this file via:  *)
(*               Drop. #use "e";;                   *) 
(*                                                  *)

#use "include";;
open Extraction;;
open Miniml;;
#trace extract_declaration;;
go();;