Module Mavryk_raw_protocol_001_PtAtLas.Dal_services

shards ctxt ~level returns the DAL committee as an association list that associates to the public key hash pkh of the member of the committee an interval (s,n), meaning that the slots s;s+1;...;s+n-1 belongs to pkh. It is guaranteed that n>0.