Module Helpers.WC

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