WC (GT.Compare.Make.AstHelpers.WC)

type t

val typ : loc:loc -> params:string list -> string -> Typ.t -> t