Other DeCiDa functions

importing:

import decida.<function>
from decida.<function> import <function>