-
Notifications
You must be signed in to change notification settings - Fork 42
/
Copy path.ocamldebug
26 lines (24 loc) · 1.19 KB
/
.ocamldebug
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
directory _build/install/default/lib/kappa-library/generic _build/install/default/lib/kappa-library/mixtures
directory _build/install/default/lib/kappa-library/terms _build/install/default/lib/kappa-library/runtime
load_printer "str.cma"
load_printer "bigarray.cma"
load_printer "easy_format.cma"
load_printer "biniou.cma"
load_printer "yojson.cma"
load_printer "logs.cma"
load_printer "kappa_data_structures.cma"
load_printer "kappa_site_graphs.cma"
load_printer "kappa_terms.cma"
load_printer "kappa_runtime.cma"
install_printer Kappa_data_structures.Mods.IntSetMap.Set.print
install_printer Kappa_data_structures.Mods.Int2SetMap.Set.print
install_printer Kappa_data_structures.Mods.StringSetMap.Set.print
install_printer Kappa_data_structures.Mods.CharSetMap.Set.print
install_printer Kappa_data_structures.IntCollection.print
install_printer Kappa_data_structures.ValMap.print
install_printer Kappa_data_structures.Renaming.print_full
install_printer Kappa_data_structures.Random_tree.debug_print
install_printer Kappa_data_structures.Operator.DepSet.print
install_printer Kappa_site_graphs.Edges.debug_print
install_printer Kappa_terms.Matching.debug_print
install_printer Kappa_runtime.Rule_interpreter.debug_print