src -> lib

mmottl · Jan 19, 2025 · 60a1f1b · 60a1f1b
1 parent bb16564
commit 60a1f1b
Show file tree

Hide file tree

Showing 11 changed files with 0 additions and 0 deletions.
diff --git a/src/Makefile → lib/Makefile b/src/Makefile → lib/Makefile
diff --git a/src/dune → lib/dune b/src/dune → lib/dune
diff --git a/src/nopres_impl.ml → lib/nopres_impl.ml b/src/nopres_impl.ml → lib/nopres_impl.ml
diff --git a/src/nopres_intf.ml → lib/nopres_intf.ml b/src/nopres_intf.ml → lib/nopres_intf.ml
diff --git a/src/pres_impl.ml → lib/pres_impl.ml b/src/pres_impl.ml → lib/pres_impl.ml
diff --git a/src/pres_intf.ml → lib/pres_intf.ml b/src/pres_intf.ml → lib/pres_intf.ml
diff --git a/src/res.ml → lib/res.ml b/src/res.ml → lib/res.ml
diff --git a/src/res.mli → lib/res.mli b/src/res.mli → lib/res.mli
diff --git a/src/strat.ml → lib/strat.ml b/src/strat.ml → lib/strat.ml
diff --git a/src/weak_impl.ml → lib/weak_impl.ml b/src/weak_impl.ml → lib/weak_impl.ml
diff --git a/src/weak_intf.ml → lib/weak_intf.ml b/src/weak_intf.ml → lib/weak_intf.ml