package goblint
Module M.Group
type t = Basetype.Variables.groupval compare : Basetype.Variables.group -> Basetype.Variables.group -> intM.Grouptype t = Basetype.Variables.groupval compare : Basetype.Variables.group -> Basetype.Variables.group -> int