Sourcetype options = {iterations : int;warm_starting : bool;baumgarte : float;slop : float;bounce_threshold : float;matching : float;
} Sourcetype pair = {a : int;b : int;contacts : Contact3d.t list;restitution : float;friction : float;
}