Module Data_for_aorai.End_state

module End_state: Aorai_state.Map.Make(Datatype.Triple(Aorai_state.Set)(Aorai_state.Set)(Vals))