let equal { deps_return = dr ; deps_table = dt } { deps_return = dr' ; deps_table = dt' } = Lmap_bitwise.From_Model.equal dt dt' && Lmap_bitwise.From_Model.LOffset.equal dr dr'