PatternMatch.CSharp
val implements : string -> IR.Tenv.t -> string -> bool
val implements_one_of : string list -> IR.Tenv.t -> string -> bool