Module S.Affine

type t = field * field