sig
  val atomic : Dalton_aux.kind -> bool
  val rows : Dalton_aux.kind -> int
  val fprint : Format.formatter -> Dalton_aux.kind -> unit
end