show_version()
This module performs transformations between domains.
Copyright 2018–2022 Michael Hayes, UCECE
Functions
call(expr, arg, **assumptions)
call
select(expr, kind)
select
transform(expr, arg, **assumptions)
transform
If arg is a domain variable perform domain transformation, otherwise perform substitution.