├── .gitignore ├── LICENSE ├── Makefile ├── Readme.md ├── descr ├── dune-project ├── orec.opam └── src ├── bijection.ml ├── bijection.mli ├── default.ml ├── default.mli ├── dune ├── index.mld ├── namespace.ml ├── namespace.mli ├── type_data.ml ├── type_data.mli ├── univ.ml └── univ.mli /.gitignore: -------------------------------------------------------------------------------- 1 | .merlin 2 | *~ 3 | *.install 4 | _build/ 5 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/Makefile -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/Readme.md -------------------------------------------------------------------------------- /descr: -------------------------------------------------------------------------------- 1 | Open records implemented using map over universal type 2 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 1.0) 2 | (name orec) 3 | -------------------------------------------------------------------------------- /orec.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/orec.opam -------------------------------------------------------------------------------- /src/bijection.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/bijection.ml -------------------------------------------------------------------------------- /src/bijection.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/bijection.mli -------------------------------------------------------------------------------- /src/default.ml: -------------------------------------------------------------------------------- 1 | include Namespace.Make() 2 | -------------------------------------------------------------------------------- /src/default.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/default.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/dune -------------------------------------------------------------------------------- /src/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/index.mld -------------------------------------------------------------------------------- /src/namespace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/namespace.ml -------------------------------------------------------------------------------- /src/namespace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/namespace.mli -------------------------------------------------------------------------------- /src/type_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/type_data.ml -------------------------------------------------------------------------------- /src/type_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/type_data.mli -------------------------------------------------------------------------------- /src/univ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/univ.ml -------------------------------------------------------------------------------- /src/univ.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Octachron/orec/HEAD/src/univ.mli --------------------------------------------------------------------------------