Get rid of atoms
There is no need to require atoms (print_*
or initial_state
) in the FLOW
signature as they are not needed by the MakeInterpreter
functor. We can implement them as we need them in the testing code.
There is no need to require atoms (print_*
or initial_state
) in the FLOW
signature as they are not needed by the MakeInterpreter
functor. We can implement them as we need them in the testing code.