Module type Intf.S

val to_group : F.t -> F.t * F.t