Currently, S.env provides the environment with all defined types, however there's no way of directly accessing the types by name. Functions like S.is need a reference to a type to work properly so the proposal is to make types accessible by name from S, e.g. via S.types.TYPE or via refactoring S.env into a map so S.env.TYPE can be used.
Currently,
S.env
provides the environment with all defined types, however there's no way of directly accessing the types by name. Functions likeS.is
need a reference to a type to work properly so the proposal is to make types accessible by name fromS
, e.g. viaS.types.TYPE
or via refactoringS.env
into a map soS.env.TYPE
can be used.