├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── _oasis ├── configure ├── lib ├── syb.ml ├── syb_classes.ml ├── syb_classes.mli ├── syb_constructors.ml ├── syb_constructors.mli ├── syb_fixpoints.ml ├── syb_fixpoints.mli ├── syb_instances.ml ├── syb_instances.mli ├── syb_schemes.ml └── syb_schemes.mli ├── opam ├── setup.ml └── test └── test_syb.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/README.md -------------------------------------------------------------------------------- /_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/_oasis -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/configure -------------------------------------------------------------------------------- /lib/syb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb.ml -------------------------------------------------------------------------------- /lib/syb_classes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_classes.ml -------------------------------------------------------------------------------- /lib/syb_classes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_classes.mli -------------------------------------------------------------------------------- /lib/syb_constructors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_constructors.ml -------------------------------------------------------------------------------- /lib/syb_constructors.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_constructors.mli -------------------------------------------------------------------------------- /lib/syb_fixpoints.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_fixpoints.ml -------------------------------------------------------------------------------- /lib/syb_fixpoints.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_fixpoints.mli -------------------------------------------------------------------------------- /lib/syb_instances.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_instances.ml -------------------------------------------------------------------------------- /lib/syb_instances.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_instances.mli -------------------------------------------------------------------------------- /lib/syb_schemes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_schemes.ml -------------------------------------------------------------------------------- /lib/syb_schemes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/lib/syb_schemes.mli -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/opam -------------------------------------------------------------------------------- /setup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/setup.ml -------------------------------------------------------------------------------- /test/test_syb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/metaocaml-syb/HEAD/test/test_syb.ml --------------------------------------------------------------------------------