$(SML_LIB)/basis/basis.mlb $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb $(SML_LIB)/basis/unsafe.mlb $(RK_LIB)/rk.mlb {% if UseCSolver %} $(RK_LIB)/crk.mlb {% endif %} $(RANDMTZIG_LIB)/randmtzig.mlb $(DYNAMICS_LIB)/dynamics.mlb $(PRIOQ_LIB)/prioq.mlb $(NINEML_LIB)/options.sml structure Dynamics = FunctionalHybridDynamics local $(STATE_LIB)/state.sml in structure BoolArrayState structure RealArrayState end local $(MODEL_LIB)/prelude.sml $(MODEL_LIB)/random.sml in functor ModelPreludeFn structure ModelRandom end local {{modelName}}.sml in structure Model end Sim_{{modelName}}.sml