Module Ckappa_sig.Dictionary_of_States

module Dictionary_of_States: Dictionary.Dictionary 
  with type key = c_state
   and type value = state'