Nailen Matschke

Primitive aliases

4

This is a proposal for extending the syntax for `external` primitives, making it easier to re-bind them under a different identifier, without reiterating the entire description (type, attributes, and symbols)....

Primitive aliases (RFC #44)

11

Please see [RFC #44](https://github.com/ocaml/RFCs/pull/44) ([rendered version](https://github.com/nmatschke/RFCs/blob/primitive-aliases/rfcs/primitive_aliases.md)) for additional detail. ## Summary This PR introduces two new forms of primitive declarations, in both structures and signatures: ```ocaml external foo = Bar.baz...

Reproducible from `make runtop`: ``` # module A = struct end;; module A : sig end # module type Config = sig module type S := module type of A...