Other DeCiDa functionsΒΆ

importing:

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