WC (GT.Eq.Make.AstHelpers.WC)

type t

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