public virtual void visit(typeclass_restriction _typeclass_restriction) { DefaultVisit(_typeclass_restriction); }
private static string TypeclassRestrictionToString(typeclass_restriction instanceName) { return(instanceName.name + "[" + string.Join(",", instanceName.restriction_args.params_list) + "]"); }