(* import libraries *) $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/unsafe.mlb $(STATE_LIB)/state.mlb $(FINDROOT_LIB)/findroot.mlb $(PRINTF_LIB)/printf.mlb local dynamics.sig dynamics.sml in structure FunctionalHybridDynamics end