How to rename a library?

Is it possible to rename a library? For example, I’m currently using the MaterialUi library and I’d like to write:

Mui.<Typography>...</Typography>

instead of

MaterialUi.<Typography>...</Typography>

Of course I can open the library, but I prefer to use a prefix instead.

You can just do

module Mui = MaterialUi

on top of your file.
:slight_smile:

3 Likes

Or create a file Mui.res and include MaterialUi in it. Then use Mui w/o aliasing.

4 Likes