$(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
$(PRIOQ_LIB)/prioq.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
	iafrefr.sml
in
	structure Model
end
model_run.sml