type options = {iterations : int;warm_starting : bool;baumgarte : float;slop : float;bounce_threshold : float;matching : float;
}type pair = {a : int;b : int;contacts : Contact.t list;restitution : float;friction : float;
}val impulses : memory -> (int * int) -> float list