$(SML_LIB)/basis/basis.mlb $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb $(SML_LIB)/basis/unsafe.mlb $(RK_LIB)/rk.mlb $(RK_LIB)/crk.mlb $(DYNAMICS_LIB)/dynamics.mlb structure Dynamics = FunctionalHybridDynamics local $(STATE_LIB)/state.sml in structure BoolArrayState structure RealArrayState end local $(MODEL_LIB)/model.sig $(MODEL_LIB)/prelude.sml in signature MODEL functor ModelPreludeFn end local options.sml in structure Options end local adex.sml in structure Model end model_run.sml