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