Module Final.Domain

type t
type nonrec element = t Finite.element
val n : int