public static ReadOnlyCollection<Ref> UsagesOfParam(this Node node, Param param) { return node.MkArray().UsagesOfParam(param); }
public static ReadOnlyCollection<Ref> UsagesOfParam(this Block block, Param param) { return ((Node)block).UsagesOfParam(param); }
public static ReadOnlyCollection<Ref> UsagesOfParam(this IEnumerable<Node> nodes, Param param) { return nodes.SelectMany(node => node.CSharpEvaluationOrder().OfType<Ref>().Where(@ref => @ref.Sym == param)).ToReadOnly(); }