summaryrefslogtreecommitdiff
path: root/contrib/extraction/test/e
blob: 88b6c90b5c18adf5c935b50d6a123337515ba5e3 (plain)
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();;