../ dynamic_types.rs 24-Jul-2006 01:21 3243 minimal_solver_ref.rs 24-Jul-2006 01:21 1178 static_types.rs 24-Jul-2006 01:21 3556