You’ll be able to acces CAS related features inside the cas subpath.
cas
import * as cas from "unilim/cas";
You’ll be able to acces CAS related features inside the cas submodule.
use unilim::cas;
You’ll be able to acces CAS related features inside the UnilimCAS module.
UnilimCAS
import UnilimCAS